Coppo, M.; Dezani-Ciancaglini, M.; Salle, P. Functional characterization of some semantic equalities inside lambda- calculus. (English) Zbl 0411.03013 Automata, languages and programming, 6th Colloq., Graz 1979, Lect. Notes Comput. Sci. 71, 133-146 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 10 Documents MSC: 03B40 Combinatory logic and lambda calculus 03C99 Model theory Keywords:type assignment; model theory; lambda calculus semantics Citations:Zbl 0401.00015; Zbl 0081.241; Zbl 0337.02018 PDFBibTeX XML