Publication:4428882

From MaRDI portal

Jump to:navigation, search

zbMath1021.03506MaRDI QIDQ4428882

H. P. Barendregt

Publication date: 22 September 2003

Mathematics Subject Classification ID

03B40: Combinatory logic and lambda calculus

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4428882&oldid=18466949"