 | 2009 |
|---|
| 10 |       | Pierre Hyvernat:
Predicate Transformers and Linear Logic, yet another denotational model
CoRR abs/0905.3998: (2009) |
| 9 | | Pierre Hyvernat:
Finiteness spaces, graphs and "coherence"
CoRR abs/0905.4059: (2009) |
| 8 | | Pierre Hyvernat:
A Completeness Theorem for "Total Boolean Functions"
CoRR abs/0905.4060: (2009) |
| 7 | | Pierre Hyvernat:
Interaction Systems and Linear Logic, a different games semantics
CoRR abs/0905.4062: (2009) |
| 6 | | Peter Hancock,
Pierre Hyvernat:
Programming interfaces and basic topology
CoRR abs/0905.4063: (2009) |
| 5 | | Pierre Hyvernat:
Synchronous Games, Simulations and lambda-calculus
CoRR abs/0905.4066: (2009) |
| 4 | | Pierre Hyvernat:
Predicate Transformers, (co)Monads and Resolutions
CoRR abs/0906.2866: (2009) |
| 2006 |
|---|
| 3 | | Peter Hancock,
Pierre Hyvernat:
Programming interfaces and basic topology.
Ann. Pure Appl. Logic 137(1-3): 189-239 (2006) |
| 2005 |
|---|
| 2 |  | Pierre Hyvernat:
Synchronous games, simulations and lambda-calculus.
GALOP 2005: 1-15 |
| 2004 |
|---|
| 1 | | Pierre Hyvernat:
Predicate Transformers and Linear Logic: Yet Another Denotational Model.
CSL 2004: 115-129 |
