Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion.

Published in: Theor. Comput. Sci. (2004)

Keyphrases

functional programs
term rewriting systems
logic programs
lazy evaluation
functional language
stochastic grammar
deductive databases
complex objects
functional programming
machine learning
artificial intelligence
high level
logic programming
concurrency control