zbMATH — the first resource for mathematics

$$\lambda$$-terms as total or partial functions on normal forms. (English) Zbl 0342.02017
$$\lambda$$-Calc. Comput. Sci. Theory, Proc. Symp., Rome 1975, Lect. Notes Comput. Sci. 37, 96-121 (1975).

MSC:
 03B40 Combinatory logic and lambda calculus 03D99 Computability and recursion theory