A modular type-checking algorithm for type theory with singleton types
Artikel i vetenskaplig tidskrift, 2011
Författare
Miguel Pagano
Andreas Abel
Thierry Coquand
Göteborgs universitet
Logical Methods in Computer Science
Vol. 7
Ämneskategorier
Annan matematik