A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object.

Pierre-Louis Curien Roberto Di Cosmo

Published in: ICALP (1991)

Keyphrases

lambda calculus
complex objects
programming language
general purpose
object model
d objects
artificial intelligence
case study