Normal functors, power series and lambda-calculus (1986)

by J-Y Girard
Venue:Journal of Pure and Applied Logic