Normal functors� power series� and ��calculus (1988)

by �Gir88� J Y Girard
Venue:Annals of Pure and Applied Logic� 37�129�177