H ? « ‹ ← → › »

Language peer sets for Simplified Type Theory:
United Kingdom↑
United Kingdom/1924↑
Designed 1924 ↑
1920s languages ↑
Pre-Computing↑
Pre-War↑
Genus Symbolic ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1924↑
Logical/1924↑
Expression-oriented/1924↑
Symbolic/United Kingdom↑
Logical/United Kingdom↑
Expression-oriented/United Kingdom↑

Simplified Type Theory(ID:7870/)

alternate simple view
Country: United Kingdom
Designed 1924
Genus: Symbolic

Ramsay's version of the Ramified Type Theory with the orders removed
Related languages
Principia Mathematica → Simplified Type Theory   Simplification of
Simplified Type Theory → Church typed-lambda calculus   Incorporated into
References:
  • Ramsay, FP (1926) Ramsay, FP "The Foundations of Mathematics" Proceedings of the London Mathematical Society, 2nd Series, 25:338-384 1926
  • Fairouz Kamareddine, Twan Laan and Rob Nederpelt (2000) Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics"
          in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder