We stand with Ukraine  

François Thiré

According to our database1, François Thiré authored at least 5 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A modular construction of type theories.
[BibTeX]
[DOI]
Frédéric Blanqui
,
Gilles Dowek
,
Émilie Grienenberger
,
Gabriel Hondet
,
François Thiré
Log. Methods Comput. Sci., 2023

Logipedia: a multi-system encyclopedia of formal proofs.
[BibTeX]
[DOI]
Gilles Dowek
,
François Thiré
CoRR, 2023

2021
Some Axioms for Mathematics.
[BibTeX]
[DOI]
Frédéric Blanqui
,
Gilles Dowek
,
Émilie Grienenberger
,
Gabriel Hondet
,
François Thiré
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020
Interoperability between proof systems using the logical framework Dedukti. (Interopérabilité entre systèmes de preuve en utilisant le cadre logique Dedukti).
[BibTeX]
[DOI]
François Thiré
PhD thesis, 2020

2018
Sharing a Library between Proof Assistants: Reaching out to the HOL Family.
[BibTeX]
[DOI]
François Thiré
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018


  Loading...