ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, Association for Computing Machinery. Special Interest Group on Programming Languages, Momigliano, A., & Pollack, R. (2005). MERLIN'05, September 30, 2005, Tallinn, Estonia: Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varlable biNding. ACM.
Cita Chicago Style (17a ed.)ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, Association for Computing Machinery. Special Interest Group on Programming Languages, Alberto Momigliano, y R. Pollack. MERLIN'05, September 30, 2005, Tallinn, Estonia: Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning About Languages with Varlable BiNding. New York: ACM, 2005.
Cita MLA (9a ed.)ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, et al. MERLIN'05, September 30, 2005, Tallinn, Estonia: Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning About Languages with Varlable BiNding. ACM, 2005.
