UP

Pure Type Systems

  • Overview
  • Syntax
  • Proof Rules
  • Semantics
  • HOME net links © RBJ
    created 1996/1/1
    modified 1999/9/20