Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

5 résultats
Page :
triés par
Image document

Dedukti:un vérificateur de preuves universel

 Ali Assaf , Raphaël Cauderlier , Ronan Saillard
Journées nationales GDR - GPL - CIEL - AFADL, Apr 2013, Nancy, France
Poster de conférence hal-01086609v1
Image document

Towards explicit rewrite rules in the λΠ-calculus modulo

 Ronan Saillard
IWIL - 10th International Workshop on the Implementation of Logics, Dec 2013, Stellenbosch, South Africa
Communication dans un congrès hal-00921340v2
Image document

Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory

 Ali Assaf , Guillaume Burel , Raphaël Cauderlier , David Delahaye , Gilles Dowek , et al.
2016
Pré-publication, Document de travail hal-04281492v1

Dedukti: A Universal Proof Checker

 Mathieu Boespflug , Quentin Carbonneaux , Olivier Hermant , Ronan Saillard
Journées communes LTP - LAC, Oct 2012, Orléans, France
Communication dans un congrès hal-01537578v1
Image document

Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system

 Ali Assaf , Guillaume Burel , Raphal Cauderlier , David Delahaye , Gilles Dowek , et al.
TYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia
Communication dans un congrès hal-01441751v1
Page :