A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance
Reviewartikel, 2009

Författare

Thierry Coquand

Göteborgs universitet

Ämneskategorier

Annan matematik

Mer information

Skapat

2017-10-10