Rechercher

David Delahaye

Maître de Conférences
Equipe CPR
Parti depuis le 01/09/2015
Mail : david.delahayecnam.fr
Tel : 0158808733
Fax : 0140272709
http://cedric.cnam.fr/~delahaye/

Projets

Publications

2014

2013

2012

2011

2010

2008

2007

2006

2005

2002

    Conférence Internationale avec comité de lecture

  • [DEL02] D. Delahaye. "A Proof Dedicated Meta-Language", Proceedings of Logical Frameworks and Meta-Languages (LFM), Copenhagen (Denmark), January 2002, Vol. 70(2), Series ENTCS,
  • [DEL02a] D. Delahaye. "Free-style Theorem Proving", Proceedings of Theorem Proving in Higher Order Logics (TPHOLs), Hampton (VA, USA), January 2002, Vol. 2410, pp.164-181, Series LNCS,

2001

2000

    Conférence Internationale avec comité de lecture

  • [DEL00] D. Delahaye. "A Tactic Language for the System Coq", Proceedings of Logic for Programming and Automated Reasoning (LPAR), Reunion Island (France), January 2000, Vol. 1955, pp.85-95, Series LNCS/LNAI,

1999

1997