Recursive Functions with Higher Order Domains
Paper in proceeding, 2005
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)
LNCS 3461 116--130-Subject Categories
Computer and Information Science