Statman's 1-section theorem

DOI10.1006/INCO.1995.1021zbMath0819.03008OpenAlexW2080452006MaRDI QIDQ1891155

Jon G. Riecke

Publication date: 28 May 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1401&context=cis_reports

zbMATH Keywords

\(\beta\eta\)-equational reasoning1-section theoremmodels of simply-typed \(\lambda\)-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Statman's 1-section theorem