n.final honors degree examinations at Cambridge University

Triposes, q-toposes and toposes
Triposes, q-toposes and toposes
The Theory of Triposes
Triposes, exact completions, and Hilbert's ε-operator
The Classical Journal: Essay on Triposes
Introduction to triposes and intuitionistic realizability toposes
The Classical Journal: Cambridge Triposes, for 1826
The axiom of choice, co-comprehension schema and redundancies in triposes
The Classical Journal: CAMBRIDGE TRIPOSES, as connected with the lighter History and with the Literature of that University
The Classical Journal: Examinations for the Classical Triposes. First instituted at Cambridge, Jan. 1824