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

Marino Miculan, Ivan Scagnetto, Furio Honsell

Browse the full ICFP paper archive.