@phdthesis{seiller:tel-00768403, TITLE = {{Logique dans le Facteur Hyperfini: G{\'e}om{\'e}trie de l'Interaction et Complexit{\'e}}}, AUTHOR = {Seiller, Thomas}, URL = {https://theses.hal.science/tel-00768403}, SCHOOL = {{Aix-Marseille Universit{\'e}}}, YEAR = {2012}, MONTH = Nov, KEYWORDS = {logic ; geometry of interaction ; linear logic ; denotational semantics ; complexity ; algorithmic complexity ; mathematical foundations of computer science ; logique ; g{\'e}om{\'e}trie de l'interaction ; logique lin{\'e}aire ; s{\'e}mantique d{\'e}notationelle ; complexit{\'e} ; complexit{\'e} algorithmique ; fondements math{\'e}matiques de l'informatique}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00768403/file/main.pdf}, HAL_ID = {tel-00768403}, HAL_VERSION = {v1}, }