Emmanuel Gunther

According to our database1, Emmanuel Gunther authored at least 11 papers between 2017 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The formal verification of the ctm approach to forcing.
Ann. Pure Appl. Log., 2024

2022
The Independence of the Continuum Hypothesis in Isabelle/ZF.
Arch. Formal Proofs, 2022

Transitive Models of Fragments of ZFC.
Arch. Formal Proofs, 2022

2020
Mechanization of coherence and adequacy: Being extrinsic extended to subtyping.
Sci. Comput. Program., 2020

Formalization of Forcing in Isabelle/ZF.
Arch. Formal Proofs, 2020

A formalisation of LEGv8 in Agda.
Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020

2019
Mechanization of Separation in Generic Extensions.
CoRR, 2019

2018
First Steps Towards a Formalization of Forcing.
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

An Internalist Approach to Correct-by-Construction Compilers.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017
Formalization of Universal Algebra in Agda.
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

The importance of being Extrinsic: Coherence and adequacy for a call-by-value language.
Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017


  Loading...