Pierre Boudes

According to our database, Pierre Boudes authored at least 6 papers between 2002 and 2015.

Collaborative distances:

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

2015

An abstract approach to stratification in linear logic.

Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco

Inf. Comput., 2015

2013

A characterization of the Taylor expansion of lambda-terms.

Pierre Boudes, Fanny He, Michele Pagani

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2011

Non-uniform (hyper/multi)coherence spaces.

Pierre Boudes

Math. Struct. Comput. Sci., 2011

2009

Thick Subtrees, Games and Experiments.

Pierre Boudes

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2004

Projecting Games on Hypercoherences.

Pierre Boudes

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2002

Non-Uniform Hypercoherences.

Pierre Boudes

Proceedings of the Category Theory and Computer Science, 2002