1. Categories, Types and Structures;Asperti,1991
2. T. Crolard, Extension de l'isomorphisme de Curry-Howard au traitement des exceptions (application d'une étude de la dualité en logique intuitionniste). Thése de Doctorat. Université Paris 7, 1996.
3. Fondement de la topologie générale;Csász,1960
4. Foundations of Mathematical Logic;Curry,1963
5. D.J. Dougherty, R. Subrahmanyam, Equality between functionals in the presence of coproducts, in Proc. 10th Annual IEEE Symp. on Logic in Computer Science, 1995, pp. 282–291.