Andrew M. Pitts. Tripos Theory in Retrospect. Mathematical Structures in Computer Science, 12(3):265-279, 2002.
@article{Pitts02, title = {Tripos Theory in Retrospect}, author = {Andrew M. Pitts}, year = {2002}, researchr = {https://researchr.org/publication/Pitts02}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {12}, number = {3}, pages = {265-279}, }