Login / Signup
Lambda-Calculus on Occurrence The Theory and its Combinatorial Counterpart.
Djamil Sarni
Published in:
J. Inf. Process. Cybern. (1990)
Keyphrases
</>
lambda calculus
programming language
artificial intelligence
relational databases
predicate calculus