TY  - RPRT
TI  - Fibred sets within a predicative and constructive effective topos
AU  - Cipriano Junior Cioffo
AU  - Maria Emilia Maietti
AU  - Samuele Maschio
PY  - 2024
UR  - https://arxiv.org/abs/2411.19239
ID  - 2411.19239
ER  -