 | 2011 |
|---|
| 9 |       | Pierre Clairambault:
Estimation of the Length of Interactions in Arena Game Semantics.
FOSSACS 2011: 335-349 |
| 8 | | Pierre Clairambault:
Isomorphisms of Types in the Presence of Higher-Order References.
LICS 2011: 152-161 |
| 7 | | Pierre Clairambault,
Peter Dybjer:
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories.
TLCA 2011: 91-106 |
| 6 | | Pierre Clairambault:
Estimation of the length of interactions in arena game semantics
CoRR abs/1112.3053: (2011) |
| 5 | | Pierre Clairambault:
Isomorphisms of types in the presence of higher-order references
CoRR abs/1112.3198: (2011) |
| 4 | | Pierre Clairambault,
Peter Dybjer:
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
CoRR abs/1112.3456: (2011) |
| 2010 |
|---|
| 3 | | Pierre Clairambault,
Russ Harmer:
Totality in arena games.
Ann. Pure Appl. Logic 161(5): 673-689 (2010) |
| 2 | | Pierre Clairambault:
Least and greatest fixpoints in game semantics
CoRR abs/1001.0641: (2010) |
| 2009 |
|---|
| 1 | | Pierre Clairambault:
Least and Greatest Fixpoints in Game Semantics.
FOSSACS 2009: 16-31 |
Data released under the ODC-BY 1.0 license — See also our legal information page