Publicaciones en las que colabora con María Antonia Huertas Sánchez (1)

2023

  1. HYBRID PARTIAL TYPE THEORY

    Journal of Symbolic Logic