TYTUŁ ARTYKUŁU

A Semantics for Equational Hybrid Propositional Type Theory

AUTORZY
Antonia Huertas, María Manzano, Manuel A. Martins
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2014 / Tom 43 / Numer 3-4
STRONY
121 - 138
ROK
2014
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY 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

Antonia Huertas, María Manzano, and Manuel A. Martins. A Semantics for Equational Hybrid Propositional Type Theory. Bulletin of the Section of Logic, 43(3-4):121–138, 2014.

Pokaż kod BibTeX 
@article{bazhum245266,
  author = {Huertas, Antonia and Manzano, María and Martins, Manuel A.},
  title = {{A Semantics for Equational Hybrid Propositional Type Theory}},
  journal = {Bulletin of the Section of Logic},
  year = {2014},
  volume = {43},
  number = {3-4},
  pages = {121--138},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/245266}
}