A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family
Paper in proceeding, 2007
Author
Nils Anders Danielsson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. LNCS 4502 93-109978-3-540-74463-4 (ISBN)
Subject Categories
Computer Science
DOI
10.1007/978-3-540-74464-1_7
ISBN
978-3-540-74463-4