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

Ano de publicación: 2014

Volume: 43

Número: 3-4

Páxinas: 121-138

Tipo: Artigo

GOOGLE SCHOLAR