C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration.
Luca Chiarabini
Olivier Danvy
Published in:
J. Formaliz. Reason. (2011)
Keyphrases
</>
proof theoretic
deductive databases
high level