Context

Context of Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers, Henk Barendregt, Tobias Nipkow, eds
Processing Feedback ...