Functors and ordinal notations IV : The Howard Ordinal and the functor LAMBDA

Jacqueline Vauzeilles (1)

1 ELM - Équipe de Logique Mathématique

This paper is the follow up of three previous papers on functors and ordinal notations. A result, conjectured by Jean-Yves Girard about the functor LAMBDA, is proved.

Domaines: Logique [math.LO]; Logique en informatique [cs.LO]

Jacqueline Vauzeilles. Functors and ordinal notations IV : The Howard Ordinal and the functor LAMBDA. The Journal of Symbolic Logic, 1985, 50, pp.331-338. ⟨hal-00003502⟩