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
Maria Manzano, Manuel A. Martins, Antonia Huertas, 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 = " Maria Manzano, Manuel A. Martins, Antonia Huertas", 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" }
