Login / Signup
Reasoning about Functional Programs and Complexity Classes Associated with Type Disciplines
Daniel Leivant
Published in:
FOCS (1983)
Keyphrases
</>
functional programs
term rewriting systems
artificial intelligence
stochastic grammar
databases
logic programs
lazy evaluation