pith. sign in

Tom Hirschowitz (LAMA)

Identifiers

  • name variant Tom Hirschowitz (LAMA) 0.60 · backfill

Papers (10)

  1. Shapely monads and analytic functors cs.LO · 2015 · author #2
  2. Fully-abstract concurrent games for pi cs.LO · 2013 · author #2
  3. Full abstraction for fair testing in CCS cs.LO · 2013 · author #1
  4. Saturating directed spaces math.GN · 2012 · author #4
  5. Innocent strategies as presheaves and interactive equivalences for CCS (expanded version) cs.LO · 2011 · author #1
  6. Encapsulation and Dynamic Modularity in the Pi-Calculus cs.PL · 2009 · author #3
  7. Variable binding, symmetric monoidal closed theories, and bigraphs cs.LO · 2009 · author #2
  8. Contraction-free proofs and finitary games for Linear Logic cs.LO · 2009 · author #4
  9. Graphical Presentations of Symmetric Monoidal Closed Theories cs.LO · 2008 · author #2
  10. Binding bigraphs as symmetric monoidal closed theories cs.LO · 2008 · author #1

Mentions

  • 1310.4306 #2 · backfill · confidence 0.70 Tom Hirschowitz (LAMA)
  • 1305.6184 #1 · backfill · confidence 0.70 Tom Hirschowitz (LAMA)
  • 1212.1074 #4 · backfill · confidence 0.70 Tom Hirschowitz (LAMA)
  • 1109.4356 #1 · backfill · confidence 0.70 Tom Hirschowitz (LAMA)
  • 0906.5446 #3 · backfill · confidence 0.70 Tom Hirschowitz (LAMA)
  • 0905.4200 #2 · backfill · confidence 0.70 Tom Hirschowitz (LAMA)
  • 0905.4064 #4 · backfill · confidence 0.70 Tom Hirschowitz (LAMA)
  • 0810.4420 #2 · backfill · confidence 0.70 Tom Hirschowitz (LAMA)
  • 0810.4419 #1 · backfill · confidence 0.70 Tom Hirschowitz (LAMA)

Frequent Coauthors