Near Semi-rings and Lambda Calculus

DOI10.1007/978-3-319-08918-8_28zbMath1417.03134OpenAlexW431176211MaRDI QIDQ5170832

Richard Statman

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_28

Mathematics Subject Classification ID

Semirings (16Y60) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Near Semi-rings and Lambda Calculus