A semantics for equational hybrid propositional type theory
- Manzano, M.
- Martins, M.A.
- Huertas, A.
ISSN: 0138-0680
Année de publication: 2014
Volumen: 43
Número: 3-4
Pages: 121-138
Type: Article
ISSN: 0138-0680
Année de publication: 2014
Volumen: 43
Número: 3-4
Pages: 121-138
Type: Article