Normal functors, power series and λ-calculus (0)

by J-Y Girard
Venue:Ann. of Pure and App. Logic