A semantics for equational hybrid propositional type theory

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

ISSN: 0138-0680

Argitalpen urtea: 2014

Alea: 43

Zenbakia: 3-4

Orrialdeak: 121-138

Mota: Artikulua

GOOGLE SCHOLAR
Datuen iturria: Scopus