Robinet, B. J. About the logical foundations of data types. (English) Zbl 0383.68024 New. Dir. algorithm. Lang., IFIP Working Group, St. Pierre-deChartreuse 1976, 63-79 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 68P05 Data structures 03B40 Combinatory logic and lambda calculus PDF BibTeX XML