1. J. Crossley and A. Nerode. Combinatorial Functors. Springer-Verlag, 1974.
2. P.J. Freyd and A. Scedrov. Some Semantic Aspects of Polymorphic Lambda Calculus, Second IEEE Symposium on Logic in Computer Science, Ithaca, NY, June, 1987, pp. 315–319.
3. J-Y. Girard. Linear Logic, Theoretical Computer Science
50, 1987.
4. J-Y. Girard. Quantifiers in linear logic, in: Proceedings of the SILFS conference Cesena, Italy, January, 1987.
5. J-Y. Girard. Π
1
2
03A0 Logic, part 1: dilators, Ann. Math. Logic
21 (1981), pp. 75–219.