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