Felix Cherubini

According to our database, Felix Cherubini authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A foundation for synthetic algebraic geometry.

Felix Cherubini, Thierry Coquand, Matthias Hutzler

Math. Struct. Comput. Sci., 2024

Synthetic G-jet-structures in modal homotopy type theory.

Felix Cherubini

Math. Struct. Comput. Sci., 2024

A Foundation for Synthetic Stone Duality.

Felix Cherubini, Thierry Coquand, Freek Geerligs, Hugo Moeneclaey

Proceedings of the 30th International Conference on Types for Proofs and Programs, 2024

2021

Modal descent.

Felix Cherubini, Egbert Rijke

Math. Struct. Comput. Sci., 2021