General Recursion in Type Theory
Paper i proceeding, 2003
partial functions
type theory
general recursion
Författare
Ana Bove
Chalmers, Institutionen för datavetenskap, Programmeringslogik
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 2646 39-58978-3-540-14031-3 (ISBN)
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1007/3-540-39185-1_3
ISBN
978-3-540-14031-3