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