Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. Association for Computing Machinery (ACM).
Tohutoru Kātū Chicago (17th ed.)Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning About Languages with Variable Binding. Association for Computing Machinery (ACM).
Tohutoro MLA (9th ed.)Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning About Languages with Variable Binding. Association for Computing Machinery (ACM).
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.