TY  - RPRT
TI  - Induced morphisms between Heyting-valued models
AU  - José Goudet Alvim
AU  - Arthur Francisco Schwerz Cahali
AU  - Hugo Luiz Mariano
PY  - 2021
UR  - https://arxiv.org/abs/1910.08193
ID  - 1910.08193
ER  -