Equality between Functionals in the Presence of Coproducts


We consider the lambda-calculus obtained from the simply-typed calculus by adding products, coproducts, and a terminal type. We prove the following theorem: The equations provable in this calculus are precisely those true in any set-theoretic model with an innnite base type.

DOI: 10.1006/inco.1999.2833

Extracted Key Phrases


Citations per Year

113 Citations

Semantic Scholar estimates that this publication has 113 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Dougherty1995EqualityBF, title={Equality between Functionals in the Presence of Coproducts}, author={Daniel J. Dougherty and Ramesh Subrahmanyam}, booktitle={Inf. Comput.}, year={1995} }