Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus.

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

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
complex objects
program understanding
expert systems
object oriented
general purpose