Login / Signup
Application of Typed Lambda Calculi in the Untyped Lambda Calculus.
Silvia Ghilezan
Published in:
LFCS (1994)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
complex objects
database query languages
database systems