148 citations
- Centre National de la Recherche ScientifiqueFR13 papers
- Université Côte d'AzurFR12 papers
- Laboratoire de Mathématiques Blaise PascalFR4 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Université Savoie Mont BlancFR3 papers
- Département de mathématiques et applicationsFR2 papers
- École Normale Supérieure - PSLFR2 papers
- GREYCFR2 papers
- Implant Sciences (United States)US2 papers
- Institut de Mathématiques de ToulouseFR2 papers
- Institut de recherche mathématique de RennesFR2 papers
- Institute of Mathematical SciencesIN2 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009★ 4 cited
Contraction-free proofs and finitary games for Linear Logic
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
In the standard sequent presentations of Girard's Linear Logic (LL), there are two "non-decreasing" rules, where the premises are not smaller than the conclusion, namely the cut an…
cs.LO2008★ 1 cited
Topological Observations on Multiplicative Additive Linear Logic
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a ``topological'' game for Multiplicative Additive Linear Logic without p…