DMCA

Contextual Model Type Theory (2005)

Cached

Download Links

by Aleksandar Nanevski , Frank Pfenning , Brigitte Pientka
Citations:4 - 0 self