23 citations · 34 across the 7 of their papers we have counts for
1 paper · 2 filters
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Hyland's effective topos offers an important realizability model for constructive mathematics in the form of a category whose internal logic validates Church's Thesis. It also cont…