Fixed points in lambda calculus. an eccentric survey of problems and solutions
From MaRDI portal
Publication:1688969
DOI10.1016/j.indag.2017.06.003zbMath1437.03052MaRDI QIDQ1688969
Benedetto Intrigila, Richard Statman
Publication date: 12 January 2018
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.indag.2017.06.003
03B40: Combinatory logic and lambda calculus
Uses Software