A modern elaboration of the ramified theory of types

DOI10.1007/BF00370835zbMath0864.03005MaRDI QIDQ2563450

Rob Nederpelt, Twan Laan

Publication date: 16 January 1997

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Principia Mathematicalambda calculustyped lambda calculusramified type theorytype system of Russell and Whitehead

Mathematics Subject Classification ID

Related Items (2)

A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY ⋮ Why ramify?

Uses Software

• Mathematica
• Nuprl
• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• The foundations of mathematics. A study in the philosophy of science
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Combinatory logic. Vol. II
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• Outline of a Theory of Truth
• A formulation of the simple theory of types
• Mathematics and Logic

This page was built for publication: A modern elaboration of the ramified theory of types