Call-by-Value Combinatory Logic and the Lambda-Value Calculus

• Authors:

• John Gateley;Bruce F. Duba

• Affiliations:

• -;-

• Venue:
• Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics
• Year:
• 1991