Tripos Theory in Retrospect

Andrew M. Pitts. Tripos Theory in Retrospect. Mathematical Structures in Computer Science, 12(3):265-279, 2002.

Abstract

Abstract is missing.