zbMATH — the first resource for mathematics

Une extension de la théorie des types en $$\lambda$$-calcul. (French) Zbl 0384.03008
Automata, languages and programming, 5th Colloq., Udine 1978, Lect. Notes Comput. Sci. 62, 398-410 (1978).

MSC:
 03B40 Combinatory logic and lambda calculus 03B15 Higher-order logic; type theory (MSC2010) 68N01 General topics in the theory of software