UP

A Brief History of Types

  • Overview
  • Aristotle
  • Frege
  • Russell
  • Church
  • Curry
  • Howard
  • Martin Löf
  • Backus
  • Milner
  • ..
  • HOME net links © RBJ
    created 1999/9/22
    modified 1999/9/22