Connections between proof theory and category theory
By: C.R. Mann
Contributors: University of Oxford
Published: 1973
Language: eng
Notes: BLDSC reference no.: D10707/74.

Thesis (doctoral)--University of Oxford, 1973.