Pairings on Lambda Algebras

DOI10.1002/MALQ.19910371908zbMath0751.03005OpenAlexW2091694603MaRDI QIDQ3990705

Marcel Tonga, William S. Hatcher

Publication date: 28 June 1992

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19910371908

zbMATH Keywords

monoidslambda calculussurjective pairing\(\lambda\)-\(\pi\)-algebras

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Pairings on Lambda Algebras