General Recursion in Type Theory
Paper in proceeding, 2003
partial functions
type theory
general recursion
Author
Ana Bove
Chalmers, Department of Computing Science, Programming Logic
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)
Subject Categories
Computer Science
DOI
10.1007/3-540-39185-1_3
ISBN
978-3-540-14031-3