(1 - 8 von 13
)
"Groupe de travail" on transcendental syntax,
linear-logic.org
11:00 – 12:15. Paolo Pistone and Thomas Seiller. Talk: Stars and constellations (paper 1). 13:30 – 14:45. Paolo Pistone and Thomas Seiller.
DiFoS - Events
ls.informatik.uni-tuebingen.de
(Joint work with Thomas Seiller.) Abstract: We investigate the conditions used to establish what counts as a logical constant from a proof-theoretical point of view.
Pfalz aktuell : Start : Linksoftware und Branchenverzeichnis
www.pfalz-aktuell.de
Das Branchenbuch für Rheinland und Pfalz.
EventsGDRI Linear Logic
linear-logic.org
Paolo Pistone and Thomas Seiller, First-order logic (paper 3 section 2-5); Paolo Pistone and Thomas Seiller, Generalized connectives; Paolo Pistone and ...
Hypotheses - ColloquiumUniversität Tübingen
ls.informatik.uni-tuebingen.de
Thomas Seiller (Savoie): Geometry of Interaction. Abstract: Geometry of interaction is the trade name for Girard's interpretation of linear logic in the algebra ... › ...
Séminaire, École normale supérieure de Lyon
chocola.ens-lyon.fr
— ... to a sheaf-based approach to programming language semantics, developed since with Clovis Eberhart, Damien Pous and Thomas Seiller.
Programme
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
sortiert nach Relevanz / Datum