Translating specifications from nominal logic to CIC with the theory of contexts.

Marino Miculan Ivan Scagnetto Furio Honsell Translating specifications from nominal logic to CIC with the theory of contexts. 41-49 2005 MERLIN http://doi.acm.org/10.1145/1088454.1088460 conf/icfp/2005merlin db/conf/icfp/merlin2005.html#MiculanSH05