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-109
978-3-540-74463-4 (ISBN)

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1007/978-3-540-74464-1_7

ISBN

978-3-540-74463-4

Mer information

Skapat

2017-10-06