Contextual modal type theory

By Aleksandar Nanevski, Frank Pfenning, B. Pientka. TOCL, 2008

320 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/64ffc3b64a0df319d8d1709b4a9d4205a974f30e