Primitive recursion in the abstract
Leivant, Daniel, Marion, Jean-YvesVolume:
30
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129519000112
Date:
January, 2020
File:
PDF, 222 KB
english, 2020