93 citations
- École Normale Supérieure de LyonFR12 papers
- Institut national de recherche en sciences et technologies du numériqueFR12 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Lyon 1 UniversitéFR5 papers
- Laboratoire de Mathématiques Blaise PascalFR3 papers
- Université Savoie Mont BlancFR3 papers
- Institut de l'Information Scientifique et TechniqueFR2 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR2 papers
- Institut de Recherche sur les Systèmes Atomiques et Moléculaires ComplexesFR2 papers
- Laboratoire d’Analyse et de Mathématiques AppliquéesFR2 papers
- Laboratoire d'Informatique Algorithmique: Fondements et ApplicationsFR2 papers
- LIP6FR2 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2008★ 3 cited
Graphical Presentations of Symmetric Monoidal Closed Theories
Richard Garner, Tom Hirschowitz, Aurélien Pardon
We define a notion of symmetric monoidal closed (SMC) theory, consisting of a SMC signature augmented with equations, and describe the classifying categories of such theories in te…
cs.LO2008★ 2 cited
Binding bigraphs as symmetric monoidal closed theories
Tom Hirschowitz, Aurélien Pardon
Milner's bigraphs are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the pi-calculus and…
cs.LO2008★ 2 cited
Wadge Degrees of Infinitary Rational Relations
Olivier Finkel
We show that, from the topological point of view, 2-tape Büchi automata have the same accepting power as Turing machines equipped with a Büchi acceptance condition. The Borel and t…