HYBRID PARTIAL TYPE THEORY
- Manzano, M.
- Huertas, A.
- Blackburn, P.
- Martins, M.
- Aranda, V.
Revista:
Journal of Symbolic Logic
ISSN: 1943-5886, 0022-4812
Año de publicación: 2023
Tipo: Artículo