Sciweavers

APAL
2002
56views more  APAL 2002»
13 years 11 months ago
Proof theory in the abstract
eory in the Abstract J. M. E. Hyland June 7, 2001 Dedicated to Anne Troelstra on the occasion of his 60th birthday: with great affection and respect, this small tribute to his infl...
J. M. E. Hyland