Pages that link to "Item:Q704168"

The following pages link to Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers. (Q704168):

Displaying 2 items.

• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
• Programming with ornaments (Q5372000) (← links)