Login / Signup
Lambda Calculus Then and Now.
Dana S. Scott
Published in:
ACM-TURING (2012)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
complex objects
object oriented
knowledge base
data structure
query processing
first order logic