A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object.

Pierre-Louis Curien Roberto Di Cosmo

Published in: J. Funct. Program. (1996)

Keyphrases

lambda calculus
complex objects
programming language
d objects
object model
general purpose
database management systems
program understanding