LIBRARY Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 1993 · ENGLISH · PDF View details →
LIBRARY Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers 2002 · ENGLISH · PDF View details →
LIBRARY Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers 2002 · ENGLISH · PDF View details →