Login / Signup
Intersection Types for the Computational lambda-Calculus.
Ugo de'Liguoro
Riccardo Treglia
Published in:
ICTCS (2019)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
artificial intelligence
knowledge base
case study
higher order
complex objects
program understanding
database query languages