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