Types in lambda calculi and programming languages (invited lecture)

• Authors:

• H. Barendregt;K. Hemerik

• Affiliations:

• -;-

• Venue:
• Proceedings of the third European symposium on programming on ESOP '90
• Year:
• 1990