Proof theory in the abstract (2002)

by J M E Hyland
Venue:Annals of Pure and Applied Logic