Extensional principles in three types of context

@inproceedings{36643,
   author = {Menšík, Marek and VÍCH, Lukáš and JAROTEK, Vladimír},
   address = {Brno},
   booktitle = {MENDEL},
   location = {Brno},
   isbn = {978-80-214-4984-8},
   pages = {381-386},
   publisher = {Brno University of Technology},
   title = {Extensional principles in three types of context},
   year = {2014}
}

TY  - JOUR
ID  - 36643
AU  - Menšík, Marek - VÍCH, Lukáš - JAROTEK, Vladimír
PY  - 2014
TI  - Extensional principles in three types of context
PB  - Brno University of Technology
CY  - Brno
SN  - 9788021449848
ER  - 

MENŠÍK, Marek, Lukáš VÍCH and Vladimír JAROTEK. Extensional principles in three types of context. In \textit{MENDEL}. Brno: Brno University of Technology, 2014, p.~381-386. ISBN~978-80-214-4984-8.