Practical forms of type theory

DOI10.2307/2267329zbMath0054.00603OpenAlexW2092575189MaRDI QIDQ5825231

Alan M. Turing

Publication date: 1948

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267329

zbMATH Keywords

foundations, philosophy, logic

Related Items

The seven virtues of simple type theory, A Review of Mathematical Knowledge Management, NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF