Simon Henry

According to our database, Simon Henry authored at least 3 papers between 2019 and 2023.

Collaborative distances:

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

2023

Compact Hausdorff Locales in Presheaf Toposes.

Simon Henry, Christopher Townsend

Appl. Categorical Struct., December, 2023

2022

Tietze Equivalences as Weak Equivalences.

Simon Henry, Samuel Mimram

Appl. Categorical Struct., 2022

2019

An Abstract Elementary Class Nonaxiomatizable In ${L_{\infty , \kappa }}$.

Simon Henry

J. Symb. Log., 2019