"The Unity and Identity of Decidable Objects and double-Negation sheaves."

Matías Menni (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics