T. Ehrhard, On niteness spaces and extensional presheaves over the lawvere theory of polynomials, Journal of Pure and Applied Algebra

T. Ehrhard, Finiteness spaces, Mathematical Structures in Computer Science, vol.15, issue.4, 2005.
DOI : 10.1017/S0960129504004645

URL : https://hal.archives-ouvertes.fr/hal-00150276

J. Girard, 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

A. Joyal, Remarques sur la théorie des jeux à deux personnes, Gazette des Sciences Mathématiques du Québec, vol.1, issue.4, p.4652, 1977.

M. Kelly and M. Laplaza, 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

Y. Lafont, Logique, catégories et machines, Thèse de doctorat, 1988.

S. Lefschetz, Algebraic topology, 1942.
DOI : 10.1090/coll/027

P. A. Melliès and N. Tabareau, Free models of T-algebraic theories computed as Kan extensions

P. Melliès, 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

R. Seely, 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=