Church's lambda delta calculus

• Authors:

• Rick Statman

• Affiliations:

• Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA

• Venue:
• LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
• Year:
• 2000