Pages that link to "Item:Q5385202"
From MaRDI portal
The following pages link to M. H. Newman's Typability Algorithm for Lambda-calculus (Q5385202):
Displaying 4 items.
- The mentor of Alan Turing: Max Newman (1897--1984) as a logician (Q384416) (← links)
- Typability in partial applicative structures (Q548702) (← links)
- The correctness of Newman's typability algorithm and some of its extensions (Q549191) (← links)
- Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them (Q4911148) (← links)