2013
- G. Le Truong, O. Hermant, M. Manceny, R. Pawlak and R. Rioboo,
Using Event-Based Style for Developing M2M Applications, GPC 2013
2012
-
G. Dowek and O. Hermant, A Simple Proof
that Super-Consistency Implies Cut Elimination, Notre-Dame Journal of
Formal Logic, 53:4, pp. 439-456, 2012:
[pdf],
[bibtex]
- Denis Cousineau, Olivier Hermant, A Semantic Proof that Reducibility Candidates
entail Cut Elimination, RTA 2012, pp. 133-148, LiPICS, 2012
- G. Le Truong, O. Hermant, M. Manceny, R. Pawlak and R. Rioboo,
Unifying Event-based and Rule-based Styles to Develop Concurrent and
Context-aware Reactive Applications - Toward a Convenient Support
for Concurrent and Reactive Programming, ICSOFT 2012, pp. 347-350, SciTePress, 2012
- M. Boespflug, Q. Carbonneaux and O. Hermant, The λΠ-calculus Modulo as
a Universal Proof Language, PxTP 2012, CEURS-WS.org 878, pp. 28-43, 2012:
[pdf], [bibtex],
[link]
- M. Boespflug, Q. Carbonneaux, O. Hermant and R. Saillard,
Dedukti: A Universal Proof Checker,
Journées LLL (GDR LAC, LTP et LAMHA), Orléans, October 2012: [pdf]
2011
under construction
2010
2009
2008
2007
2006
2005
2003