A Type of Partial Recursive Functions
Paper i proceeding, 2008
type theory
partial functions
general recursion
Författare
Ana Bove
Chalmers, Data- och informationsteknik, Datavetenskap
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)
Ämneskategorier
Datavetenskap (datalogi)
ISBN
978-3-540-71065-3