Login / Signup
A List-Oriented Extension of the lambda-Calculus Satisfying the Church-Rosser Theorem.
György E. Révész
Published in:
Theor. Comput. Sci. (1992)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
program understanding
complex objects
database query languages
database