Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings.

Manfred Schmidt-Schauß Elena Machkasova David Sabel

Published in: RTA (2013)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
higher order
program understanding
databases
expert systems
query language
complex objects