Author:
Jacq Clément,Melliès Paul-André
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;P-L Curien,1994
2. Eberhart, C., Hirschowitz, T.: Justified sequences in string diagrams: a comparison between two approached to concurrent game semantics (2016)
3. Girard, J.Y.: Locus Solum: from the rules of logic to the logic of rules. Math. Struct. Comput. Sci. 11(03), 301–506 (2001)
4. Harmer, R., Hyland, J.M.E., Melliès, P.-A.: Categorical combinatorics for innocent strategies. In: LICS, pp. 379–388 (2007)
5. Hirschowitz, T., Pous, D.: Innocent strategies as presheaves and interactive equivalences for CCS. Sci. Ann. Comput. Sci. (2012)