A Type of Partial Recursive Functions
Paper in proceeding, 2008
type theory
partial functions
general recursion
Author
Ana Bove
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Venanzio Capretta
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. LNCS 5170 102--117-978-3-540-71065-3 (ISBN)
Subject Categories
Computer Science
ISBN
978-3-540-71065-3