Selected papers from the International Workshop on Types for Proofs and Programs

• Authors:

• Peter Dybjer;Bengt Nordström;Jan Smith

• Affiliations:

• -;-;-

• Venue:
• TYPES '94 Selected papers from the International Workshop on Types for Proofs and Programs
• Year:
• 1994