4 citations · 5 across the 3 of their papers we have counts for
3 papers
Saturating directed spaces
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
Directed topology is a refinement of standard topology, where spaces may have non-reversible paths. It has been put forward as a candidate approach to the analysis of concurrent pr…
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…
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…