4 citations · 16 across the 14 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.GN2012
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…
cs.PL2012
Initial Semantics for Strengthened Signatures
André Hirschowitz, Marco Maggesi
We give a new general definition of arity, yielding the companion notions of signature and associated syntax. This setting is modular in the sense requested by Ghani and Uustalu: m…