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

Any de publicació: 2014

Volum: 43

Número: 3-4

Pàgines: 121-138

Tipus: Article

GOOGLE SCHOLAR