Functors and ordinal notations IV : The Howard Ordinal and the functor LAMBDA
Vauzeilles, Jacqueline
HAL, hal-00003502 / Harvested from HAL
Text on HAL
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.
Publié le : 1985-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 
@article{hal-00003502,
     author = {Vauzeilles, Jacqueline},
     title = {Functors and ordinal notations IV : The Howard Ordinal and the functor LAMBDA},
     journal = {HAL},
     volume = {1985},
     number = {0},
     year = {1985},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00003502}
}

Vauzeilles, Jacqueline. Functors and ordinal notations IV : The Howard Ordinal and the functor LAMBDA. HAL, Tome 1985 (1985) no. 0, . http://gdmltest.u-ga.fr/item/hal-00003502/