Login / Signup
Strict Ideal Completions of the Lambda Calculus.
Patrick Bahr
Published in:
CoRR (2018)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
complex objects
open source
expressive power
pairwise
co occurrence
high level
general purpose