HYBRID PARTIAL TYPE THEORY

  1. Manzano, M.
  2. Huertas, A.
  3. Blackburn, P.
  4. Martins, M.
  5. Aranda, V.
Revue:
Journal of Symbolic Logic

ISSN: 1943-5886 0022-4812

Année de publication: 2023

Type: Article

DOI: 10.1017/JSL.2023.33 GOOGLE SCHOLAR