Antonia Huertas
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Semantics for Equational Hybrid Propositional Type Theory Opublikowano w: Bulletin of the Section of Logic 2014 / Tom 43 / Numer 3-4 / s. 121 - 1382014CZYSTY TEKST
Antonia Huertas, María Manzano, Manuel A. Martins, A Semantics for Equational Hybrid Propositional Type Theory, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 121 - 138
BIBTEX@Article{ authors = " Antonia Huertas, María Manzano, Manuel A. Martins", title = "A Semantics for Equational Hybrid Propositional Type Theory", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "121 - 138" }
