Recursive Functions with Higher Order Domains
Paper i proceeding, 2005
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)
LNCS 3461 116--130-Ämneskategorier
Data- och informationsvetenskap