| |
| 2006 | ||
|---|---|---|
| 3 | EE | 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 | EE | Pierre Hyvernat: Predicate Transformers and Linear Logic: Yet Another Denotational Model. CSL 2004: 115-129 |
| 1 | Peter Hancock | [3] |