David Michel

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

David Michel, Frédéric Gervais, Pierre Valarcher
B-ASM: Specification of ASM à la B. ASM (2010)
Loïc Colson, David Michel
Pedagogical second-order lambda-calculus. Theor. Comput. Sci. 410 (42) (2009)
Loïc Colson, David Michel
Pedagogical Second-order Propositional Calculi. J. Log. Comput. 18 (4) (2008)
Loïc Colson, David Michel
Pedagogical Natural Deduction Systems: the Propositional Case. J. Univers. Comput. Sci. 13 (10) (2007)