Marino Miculan, Ivan Scagnetto, Furio Honsell. Translating specifications from nominal logic to CIC with the theory of contexts. In Randy Pollack, editor, ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005. pages 41-49, ACM, 2005. [doi]
Abstract is missing.