@PHDTHESIS{PittsAM:thet,
  AUTHOR =	 {A.~M.~Pitts},
  TITLE =	 {The Theory of Triposes},
  SCHOOL =	 {University of Cambridge},
  YEAR =	 1981
}