Researcher

Thomas Seiller

ORCID 0000-0001-6313-0898

CNRS

Statistics

20 papers found

Refine by OA status

Refine

All papers authored by Thomas Seiller

Paper animated bird

Refreshing results…

This paper is available in a repository.
2016 Thomas Seiller ORCID

Interaction Graphs

Download from hal.archives-ouvertes.fr
This paper is available in a repository.
Thomas Seiller ORCID

Interaction Graphs: Graphings

Download from arxiv.org
This paper is available in a repository.
Alberto Naibo, Mattia Petrolo, Thomas Seiller ORCID

On the Computational Meaning of Axioms

Download from hal.archives-ouvertes.fr
This paper is available in a repository.
2013 Thomas Seiller ORCID

Interaction Graphs: Exponentials

Download from arxiv.org
This paper is made freely available by the publisher.
2012 Thomas Seiller ORCID

Interaction Graphs: Multiplicatives

Download from doi.org
This paper is available in a repository.
Thomas Seiller ORCID

Interaction Graphs: Additives

Download from arxiv.org

Missing publications? Search for publications with a matching author name.