Christine Paulin-Mohring

发表

June Andronick, Christine Paulin-Mohring, Boutheina Chetali, 2005, FM.
Christine Paulin-Mohring, Benjamin Werner, Jean-Christophe Filliatre, 2008, Lecture Notes in Computer Science.
David Pichardie, Sandrine Blazy, Christine Paulin-Mohring, 2013 .
Christine Paulin-Mohring, Gérard Huet, Gilles Kahn, 2005 .
Christine Paulin-Mohring, C. Paulin-Mohring, Christine Paulin-Mohring, 1993, TLCA.
Claude Marché, Xavier Urbain, Christine Paulin-Mohring, 2004, J. Log. Algebraic Methods Program..
Hugo Herbelin, Jean-Christophe Filliâtre, Cristina Cornes, 1997 .
David Pichardie, Sandrine Blazy, Christine Paulin-Mohring, 2013, Lecture Notes in Computer Science.
Guillaume Melquiond, Claude Marché, Sylvain Conchon, 2014 .
Christine Paulin-Mohring, C. Paulin-Mohring, Christine Paulin-Mohring, 1989, POPL '89.
Christine Paulin-Mohring, 2001, TACS.
Claude Marché, Christine Paulin-Mohring, C. Paulin-Mohring, 2005, TPHOLs.
Christine Paulin-Mohring, François Leclerc, C. Paulin-Mohring, 1994, TYPES.
Christine Paulin-Mohring, Philippe Audebaud, Philippe Audebaud, 2006, Sci. Comput. Program..
Claude Marché, Andrei Paskevich, Jean-Christophe Filliâtre, 2011 .
Christine Paulin-Mohring, Philippe Audebaud, C. Paulin-Mohring, 2006, Sci. Comput. Program..
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner, 1995, Lecture Notes in Computer Science.
Pierre Courtieu, David Gross-Amblard, David Baelde, 2012, ITP.
Guillaume Melquiond, Jean-Christophe Filliâtre, Sylvie Boldo, 2010 .
David Baelde, Christine Paulin-Mohring, 2010 .
Christine Paulin-Mohring, C. Paulin-Mohring, Christine Paulin-Mohring, 2011, LASER Summer School.
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner, 2004 .
Christine Paulin-Mohring, Philippe Audebaud, 1998, Lecture Notes in Computer Science.
Christine Paulin-Mohring, Gérard Huet, G. Huet, 2000 .
Christine Paulin-Mohring, Benjamin Werner, C. Paulin-Mohring, 1993, J. Symb. Comput..
Amy P. Felty, Hugo Herbelin, Christine Paulin-Mohring, 1990 .
Christine Paulin-Mohring, Gérard Huet, Gilles Kahn, 1997 .
Christine Paulin-Mohring, C. Paulin-Mohring, Christine Paulin-Mohring, 1995, TYPES.
Frank Pfenning, Christine Paulin-Mohring, F. Pfenning, 1989, Mathematical Foundations of Programming Semantics.