Comyn, G.; Werner, G. Computable data types. (English) Zbl 0409.68005 Mathematical foundations of computer science, Proc. 8th Symp., Olomouc/Czech. 1979, Lect. Notes Comput. Sci. 74, 228-236 (1979). 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 Keywords:Computable Data Types; Retracts; Affective Domains Citations:Zbl 0401.00014 PDFBibTeX XML