A Semantics for Equational Hybrid Propositional Type Theory

Bulletin of the Section of Logic, Tom 43, Numer 3-4 (2014) s. 121-138
Maria Manzano, Manuel A. Martins, Antonia Huertas

 

do góry