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 influence. 1 Background

• Type: Journal
• Year: 2002
• Where: APAL
• Authors: J. M. E. Hyland
• Keywords: 60th Birthday, Abstract J, APAL 2002, Hyland June