| |
| 2005 | ||
|---|---|---|
| 4 | Benjamin Leperchey: Time and games. GALOP 2005: 179-194 | |
| 3 | EE | Nick Benton, Benjamin Leperchey: Relational Reasoning in a Nominal Semantics for Storage. TLCA 2005: 86-101 |
| 2004 | ||
| 2 | EE | Antonio Bucciarelli, Benjamin Leperchey: Hypergraphs and Degrees of Parallelism: A Completeness Result. FoSSaCS 2004: 58-71 |
| 2003 | ||
| 1 | EE | Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani: Relative Definability and Models of Unary PCF. TLCA 2003: 75-89 |
| 1 | Nick Benton (P. N. Benton) | [3] |
| 2 | Antonio Bucciarelli | [1] [2] |
| 3 | Vincent Padovani | [1] |