Sciweavers

TOCL
2008

Contextual modal type theory

13 years 11 months ago
Contextual modal type theory
Aleksandar Nanevski, Frank Pfenning, Brigitte Pien
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TOCL
Authors Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka
Comments (0)