Pages that link to "Item:Q5385202"

The following pages link to M. H. Newman's Typability Algorithm for Lambda-calculus (Q5385202):

Displaying 3 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)