12 citations · 56 across the 23 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
cs.LO2011★ 6 cited
Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
Tom Hirschowitz, Damien Pous
Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of 'plays', and a subcategory V…
cs.LO2011★ 4 cited
Innocent strategies as presheaves and interactive equivalences for CCS
Tom Hirschowitz, Damien Pous
Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V o…
cs.LO2011★ 1 cited
Proceedings Types for Proofs and Programs, Revised Selected Papers
Tom Hirschowitz
Types for Proofs and Programs is the annual meeting of the Types Project, whose aim is to develop the technology of formal reasoning and computer programming based on Type Theory.…