Recursive Functions with Higher Order Domains
Paper in proceedings, 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

More information

Created

10/7/2017