An Introduction to the Clocked Lambda Calculus.

Jörg Endrullis Dimitri Hendriks Jan Willem Klop Andrew Polonsky

Published in: CoRR (2014)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
program understanding
complex objects
database query languages
formal model
theorem proving
databases
open source