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

0302-9743 (ISSN)

Vol. LNCS 4502 93-109

Ämneskategorier

Datavetenskap (datalogi)

DOI

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

ISBN

978-3-540-74463-4

Mer information

Skapat

2017-10-06