activity
20212024
most citedA topological reading of inductive and coinductive definitions in Dependent Type Theory

1 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

math.LO2021

Extending the extensional level of the Minimalist Foundation to axiomatic set theories

Samuele Maschio, Pietro Sabelli

We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.