Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and
 

Summary: 



A Modular Type-Checking Algorithm for

Type Theory with Singleton Types and

Proof Irrelevance



Andreas Abel1, Thierry Coquand2, and Miguel Pagano3

1 Ludwig-Maximilians-Universit"at M"unchen, abel@informatik.uni-muenchen.de
2 G"oteborg University, coquand@cs.chalmers.se
3 Universidad Nacional de C'ordoba, miguel.pagano@gmail.com



  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences