Equality between functionals in the presence of coproducts

DOI10.1006/INCO.1999.2833MaRDI QIDQ1854334zbMATH OpenOpenAlexFDO

Authors Daniel J. Dougherty, Ramesh Subrahmanyam

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/f786d80cd4e8aad3ee21accbf2f978b57ae91ea2

zbMATH Keywords

lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Some lambda calculi with categorical sums and products
• scientific article; zbMATH DE number 2185660
• A finite equational axiomatization of the functional algebras for the lambda calculus
• scientific article; zbMATH DE number 814613
• Conditions for the completeness of functional and algebraic equational reasoning

Cites work

• A confluent reduction for the extensional typed -calculus with pairs, sums, recursion and terminal object
• Completeness, invariance and λ-definability
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 3485758 (Why is no real title available?)
• scientific article; zbMATH DE number 1142318 (Why is no real title available?)
• Kripke-style models for typed lambda calculus
• Proving termination with multiset orderings
• Some lambda calculi with categorical sums and products
• The lambda calculus, its syntax and semantics

Cited in

(3)

• Fully abstract submodels of typed lambda calculi
• Equality in lambda calculus. Weak universality in category theory and reversible computations
• Equational theories for inductive types

This page was built for publication: Equality between functionals in the presence of coproducts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854334)