VÍCTOR
ARANDA UTRERO
Investigador en el periodo 2021-2022
María Antonia
Huertas Sánchez
Publicaciones en las que colabora con María Antonia Huertas Sánchez (1)
2023
-
HYBRID PARTIAL TYPE THEORY
Journal of Symbolic Logic