×

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).

MSC:

03B40 Combinatory logic and lambda calculus
03C99 Model theory