A semantics for equational hybrid propositional type theory
- Manzano, M.
- Martins, M.A.
- Huertas, A.
ISSN: 0138-0680
Year of publication: 2014
Volume: 43
Issue: 3-4
Pages: 121-138
Type: Article
ISSN: 0138-0680
Year of publication: 2014
Volume: 43
Issue: 3-4
Pages: 121-138
Type: Article