@Article{PittsAM:tritr,
  author =	 {A. M. Pitts},
  title =	 {Tripos Theory In Retrospect},
  journal =	 {Mathematical Structures in Computer Science},
  year =	 {2002},
  volume =	 12,
  pages =	 {265--279}
}