βη-Equality for coproducts
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 171-185
- https://doi.org/10.1007/bfb0014052
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Some lambda calculi with categorical sums and productsPublished by Springer Nature ,1993
- Modelling reduction in confluent categoriesPublished by Cambridge University Press (CUP) ,1992
- Rewrite SystemsPublished by Elsevier ,1990
- Local adjunctionsJournal of Pure and Applied Algebra, 1988
- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithmsPublished by Springer Nature ,1987
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Formal Category Theory: Adjointness for 2-CategoriesLecture Notes in Mathematics, 1974
- Ideas and Results in Proof TheoryPublished by Elsevier ,1971