Lambda‐Algebras and C‐Monoids
From MaRDI portal
Publication:3760509
DOI10.1002/malq.19860322507zbMath0623.03015OpenAlexW2088075778MaRDI QIDQ3760509
William S. Hatcher, Philip J. Scott
Publication date: 1986
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19860322507
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items