UP

HOST - Higher Order Set Theory

  • overview
  • features
  • rationale
  • pedigree
  • implementation

    • HOME © RBJ
    created 1998/01/02
    modified 1998/01/03