A semantics for equational hybrid propositional type theory

  1. Manzano, M.
  2. Martins, M.A.
  3. Huertas, A.
Revista:
Bulletin of the Section of Logic

ISSN: 0138-0680

Año de publicación: 2014

Volumen: 43

Número: 3-4

Páginas: 121-138

Tipo: Artículo

GOOGLE SCHOLAR