A type-theoretical alternative to ISWIM, CUCH, OWHY. Theoretical Computer Science, 121:422–440 (1993)

by Dana Scott
Venue:Written in 1969. 56 [Sim78] [Smo06] [Spi07] [Ste67] [Sto37] [Sto38] [Tar35] [Tay86] [Tay91] [Tay99] [Thi97] [Tur35] Jonathan Seldin. Curry’s