![]() | ![]() |
| 2010 | ||
|---|---|---|
| 3 | Pierre-Louis Curien, Guillaume Munch-Maccagnoni: The Duality of Computation under Focus. IFIP TCS 2010: 165-181 | |
| 2 | Pierre-Louis Curien, Guillaume Munch-Maccagnoni: The duality of computation under focus CoRR abs/1006.2283: (2010) | |
| 2009 | ||
| 1 | Guillaume Munch-Maccagnoni: Focalisation and Classical Realisability. CSL 2009: 409-423 | |
| 1 | Pierre-Louis Curien | [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page