Syntactic Categories in the Language of Mathematics

• Authors:

• Aarne Ranta

• Affiliations:

• -

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