Benjamin Leperchey

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Benjamin Leperchey
Time and games. GALOP@ETAPS (2005)
Nick Benton, Benjamin Leperchey
Relational Reasoning in a Nominal Semantics for Storage. TLCA (2005)
Antonio Bucciarelli, Benjamin Leperchey
Hypergraphs and Degrees of Parallelism: A Completeness Result. FoSSaCS (2004)
Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani
Relative Definability and Models of Unary PCF. TLCA (2003)