Scott, Dana; "A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Oxford U 1969.

Languages mentioned

• CUCH {1966}
• ISWIM {1966} Landin's paper language
• OWHY {1969}
• Scott {1969}