A semantics for equational hybrid propositional type theory
- Manzano, M.
- Martins, M.A.
- Huertas, A.
ISSN: 0138-0680
Ano de publicación: 2014
Volume: 43
Número: 3-4
Páxinas: 121-138
Tipo: Artigo
Revista:
Bulletin of the Section of Logic