| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 4 |      | Benjamin Leperchey: Time and games. GALOP 2005: 179-194 |
| 3 |  | Nick Benton, Benjamin Leperchey: Relational Reasoning in a Nominal Semantics for Storage. TLCA 2005: 86-101 |
| 2004 | ||
| 2 | | Antonio Bucciarelli, Benjamin Leperchey: Hypergraphs and Degrees of Parallelism: A Completeness Result. FoSSaCS 2004: 58-71 |
| 2003 | ||
| 1 | | 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] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page