The theory of triposes
By: Andrew Mawdesley Pitts
Contributors: University of Cambridge
Published: 1982
Language: eng
Notes: Thesis (doctoral)--University of Cambridge, 1982.