Recursive Functions with Higher Order Domains
Paper in proceeding, 2005
Author
Ana Bove
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Venanzio Capretta
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Issue LNCS 3461 p. 116--130-Categorizing
Subject Categories (SSIF 2011)
Computer and Information Science