Number of documents


Tom Hirschowitz

Journal articles8 documents

Conference papers15 documents

Preprints, Working Papers, ...7 documents

  • Clovis Eberhart, Tom Hirschowitz, Alexis Laouar. Template games, simple games, and Day convolution. 2018. ⟨hal-01897309v2⟩
  • Tom Hirschowitz. Familial monads and structural operational semantics. 2018. ⟨hal-01815328v2⟩
  • Clovis Eberhart, Tom Hirschowitz. Game semantics as a singular functor, and definability as geometric realisation. 2017. ⟨hal-01527171⟩
  • Clovis Eberhart, Tom Hirschowitz. Justified sequences in string diagrams: A comparison between two approaches to concurrent game semantics. 2016. ⟨hal-01372582⟩
  • Richard Garner, Tom Hirschowitz, Aurélien Pardon. Graphical Presentations of Symmetric Monoidal Closed Theories. 2008. ⟨hal-00333750v2⟩
  • Tom Hirschowitz, Aurélien Pardon. Binding bigraphs as symmetric monoidal closed theories. 2008. ⟨hal-00333753v2⟩
  • André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz. Topological Observations on Multiplicative Additive Linear Logic. 2008. ⟨hal-00295949⟩

Reports2 documents

  • Tom Hirschowitz, Xavier Leroy, J. B. Wells. On the implementation of recursion in call-by-value functional languages. [Research Report] RR-4728, INRIA. 2003. ⟨inria-00071858⟩
  • Tom Hirschowitz, Xavier Leroy, Joe B. Wells. A reduction semantics for call-by-value mixin modules. [Research Report] RR-4682, INRIA. 2002. ⟨inria-00071903⟩

Habilitation à diriger des recherches1 document

  • Tom Hirschowitz. Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation. Logique en informatique [cs.LO]. Université Grenoble Alpes, 2016. ⟨tel-01400666⟩