Journaux internationaux avec comité de lecture

Olivier Hermant and James Lipton. A note on Completeness and cut elimination in the Intuitionistic Church's Theory of Types. Journal of Logic and Computation, 2008. Accepted, to appear.

Conférences internationales avec comité de lecture

Chantal Taconet, Zakia Kazi-Aoul, Mehdi Zaier, and Denis Conan. Ca3m: A runtime model and a middleware for dynamiccontext management. to appear in Distributed Objects, Middleware, and Applications (DOA'09), Vilamoura, Algarve-Portugal, November 2009.

Olivier Hermant and James Lipton. A constructive semantic approach to cut elimination in type theories with axioms. In Michael Kaminski and Simone Martini, editors, CSL, volume 5213 of Lecture Notes in Computer Science, pages 169-183. Springer, 2008.