A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object.

Roberto Di Cosmo Delia Kesner

Published in: ICALP (1993)

Keyphrases

lambda calculus
complex objects
programming language
database query languages
predicate calculus
d objects
higher order
object model
pairwise
database
database systems
expert systems
object oriented
general purpose
query optimization
data structure
relational algebra
relational calculus
program understanding