Login / Signup
Lambda Calculus Characterizations of Poly-Time.
Daniel Leivant
Jean-Yves Marion
Published in:
Fundam. Informaticae (1993)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
complex objects
first order logic
semantic network
program understanding
formal model
data structure
high level
relational algebra
theorem proving
predicate logic
logic programming
higher order
natural language processing