Proof theory in the abstract (2002)

by J M E Hyland
Venue:Ann. Pure Appl. Logic