A semantics for equational hybrid propositional type theory

  1. Manzano, M.
  2. Martins, M.A.
  3. Huertas, A.
Zeitschrift:
Bulletin of the Section of Logic

ISSN: 0138-0680

Datum der Publikation: 2014

Ausgabe: 43

Nummer: 3-4

Seiten: 121-138

Art: Artikel

GOOGLE SCHOLAR