We stand with Ukraine  

Frédéric Gilbert

Affiliations:
  • INRIA, Cachan, France
  • French Alternative Energies and Atomic Energy Commission, Laboratory for Integration of Systems and Technology, CEA-LIST, Paris, France
  • Sorbonne Paris Cité, France (PhD 2018)


According to our database1, Frédéric Gilbert authored at least 6 papers between 2013 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory.
[BibTeX]
[DOI]
Ali Assaf
,
Guillaume Burel
,
Raphaël Cauderlier
,
David Delahaye
,
Gilles Dowek
,
Catherine Dubois
,
Frédéric Gilbert
,
Pierre Halmagrand
,
Olivier Hermant
,
Ronan Saillard
CoRR, 2023

2019
Verifiable Certificates for Predicate Subtyping.
[BibTeX]
[DOI]
Frédéric Gilbert
Proceedings of the Programming Languages and Systems, 2019

2018
Extending higher-order logic with predicate subtyping: Application to PVS. (Extension de la logique d'ordre supérieur avec le sous-typage par prédicats).
[BibTeX]
[DOI]
Frédéric Gilbert
PhD thesis, 2018

2017
Proof Certificates in PVS.
[BibTeX]
[DOI]
Frédéric Gilbert
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Automated Constructivization of Proofs.
[BibTeX]
[DOI]
Frédéric Gilbert
Proceedings of the Foundations of Software Science and Computation Structures, 2017

2013
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.
[BibTeX]
[DOI]
David Delahaye
,
Damien Doligez
,
Frédéric Gilbert
,
Pierre Halmagrand
,
Olivier Hermant
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013


  Loading...