[ACM Press the 3rd ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 - Translating specifications from nominal logic to CIC with the theory of contexts
Miculan, Marino, Scagnetto, Ivan, Honsell, FurioYear:
2005
Language:
english
DOI:
10.1145/1088454.1088460
File:
PDF, 254 KB
english, 2005