On niteness spaces and extensional presheaves over the lawvere theory of polynomials, Journal of Pure and Applied Algebra ,
Finiteness spaces, Mathematical Structures in Computer Science, vol.15, issue.4, 2005. ,
DOI : 10.1017/S0960129504004645
URL : https://hal.archives-ouvertes.fr/hal-00150276
Linear logic, Theoretical Computer Science, vol.50, issue.1, p.1102, 1987. ,
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966
Remarques sur la théorie des jeux à deux personnes, Gazette des Sciences Mathématiques du Québec, vol.1, issue.4, p.4652, 1977. ,
Coherence for compact closed categories, Journal of Pure and Applied Algebra, vol.19, p.193213, 1980. ,
DOI : 10.1016/0022-4049(80)90101-2
URL : http://doi.org/10.1016/0022-4049(80)90101-2
Logique, catégories et machines, Thèse de doctorat, 1988. ,
Algebraic topology, 1942. ,
DOI : 10.1090/coll/027
Free models of T-algebraic theories computed as Kan extensions ,
Asynchronous Games 3 An Innocent Model of Linear Logic, Electronic Notes in Theoretical Computer Science, vol.122, p.171192, 2005. ,
DOI : 10.1016/j.entcs.2004.06.057
Linear logic, *-autonomous categories and cofree coalgebras, Applications of categories in logic and computer science, number 92. Contemporary Mathematics, 1989. ,
DOI : 10.1090/conm/092/1003210
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6153