Benjamin Leperchey

According to our database, Benjamin Leperchey authored at least 5 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

Sur la notion d'observation en sémantique. (On the notion of observation in semantics).

Benjamin Leperchey

PhD thesis, 2005

Relational Reasoning in a Nominal Semantics for Storage.

Nick Benton, Benjamin Leperchey

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Time and games.

Benjamin Leperchey

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2004

Hypergraphs and Degrees of Parallelism: A Completeness Result.

Antonio Bucciarelli, Benjamin Leperchey

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

Relative Definability and Models of Unary PCF.

Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003