A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family
Paper i proceeding, 2007
Författare
Nils Anders Danielsson
Chalmers, Data- och informationsteknik, Datavetenskap
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)
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1007/978-3-540-74464-1_7
ISBN
978-3-540-74463-4