Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications

• Authors:

• Jean-Yves Girard

• Affiliations:

• -

• Venue:
• TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
• Year:
• 1999