Andrew Pitts

Andrew Mawdesley Pitts is a professor of theoretical computer science at Cambridge. His thesis was on the theory of triposes; he studies semantic of programming languages, type theory, symbolic computation etc.

  • web
  • Nontrivial power types can’t be subtypes of polymorphic types, ps.gz
  • The theory of triposes, 1981, thesis, pdf
  • Tripos theory in retrospect, pdf
Revised on November 15, 2012 14:35:51 by Tim Porter (