.:. Browse > By author > hirschowitz .:.

3 documents ordered by : Date Title first author name document type Submit date

Saturating directed spaces Hirschowitz A., Hirschowitz M., Hirschowitz T. [hal-00761352 - version 1] (05/12/2012)

Contraction-free proofs and finitary games for Linear Logic Hirschowitz A., Hirschowitz M., Hirschowitz T. In Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) - MFPS 2009, United Kingdom (2009) [hal-00387452 - version 1]

Jeux abstraits et composition catégorique hirschowitz M. Université Paris-Diderot - Paris VII (17/12/2004), Danos Vincent (Dir.) [tel-00008275 - version 1]