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

by A Nanevski, F Pfenning, B Pientka
Venue:in the ACM Transactions on Computation Logic