C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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