×

zbMATH — the first resource for mathematics

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