Normal functors, power series, and -calculus, Ann. Pure and Applied Logic 37 (1986)

by J-Y Girard