Davide Trotta
Davide Trotta
Home
Publications
Preprints
Talks
Preprints
A characterization of regular and exact completions of pure existential completions
The notion of existential completion in the context of Lawvere’s doctrines was introduced by the second author in his PhD thesis, …
Maria Emilia Maietti
,
Davide Trotta
Last updated on Jun 23, 2023
PDF
Categorifying computable reducibilities
This paper discusses categorical formulations of the Medvedev, Muchnik and Weirauch reducibilities in Computability Theory and connects …
Davide Trotta
,
Manlio Valenti
,
Valeria De Paiva
Last updated on Sep 10, 2022
PDF
Cite
×