Some Lambda Calculi with Categorial Sums and Products.

Daniel J. Dougherty

Published in: RTA (1993)

Keyphrases

lambda calculus
database
data mining
social networks
software engineering
fixed point
product line
commercial products