Contextual modal type theory. Under consideration for publication in the (2005)

by Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka
Venue:In Proceedings of the International Conference on Logic Programming and Automated Reasoning (LPAR’92