M. H. Newman's Typability Algorithm for Lambda-calculus
From MaRDI portal
Publication:5385202
DOI10.1093/logcom/exm001zbMath1147.03006OpenAlexW2123505663MaRDI QIDQ5385202
Publication date: 5 May 2008
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exm001
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)
Related Items (3)
The mentor of Alan Turing: Max Newman (1897--1984) as a logician ⋮ Typability in partial applicative structures ⋮ The correctness of Newman's typability algorithm and some of its extensions
This page was built for publication: M. H. Newman's Typability Algorithm for Lambda-calculus
