HYBRID PARTIAL TYPE THEORY
- Manzano, M.
- Huertas, A.
- Blackburn, P.
- Martins, M.
- Aranda, V.
Revue:
Journal of Symbolic Logic
ISSN: 1943-5886, 0022-4812
Année de publication: 2023
Type: Article