Self-Quotation in a Typed, Intensional Lambda-Calculus.

Published in: MFPS (2018)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
database query languages
complex objects
program understanding
query evaluation
database systems
data model
data integration