Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation.

Yasuhiko Minamide

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

lambda calculus
predicate calculus
database query languages
programming language
expressive power
databases
artificial intelligence
knowledge representation
object oriented
natural language processing
higher order