Foundational Nonuniform (Co)datatypes for Higher-Order Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Foundational Nonuniform (Co)datatypes for Higher-Order Logic. / Blanchette, Jasmin Christian; Meier, Fabian; Popescu, Andrei; Traytel, Dmitriy.
LICS 2017. IEEE Computer Society Press, 2017. p. 1-12.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Blanchette, JC, Meier, F, Popescu, A & Traytel, D 2017, Foundational Nonuniform (Co)datatypes for Higher-Order Logic. in LICS 2017. IEEE Computer Society Press, pp. 1-12. https://doi.org/10.1109/LICS.2017.8005071
APA
Blanchette, J. C., Meier, F., Popescu, A., & Traytel, D. (2017). Foundational Nonuniform (Co)datatypes for Higher-Order Logic. In LICS 2017 (pp. 1-12). IEEE Computer Society Press. https://doi.org/10.1109/LICS.2017.8005071
Vancouver
Blanchette JC, Meier F, Popescu A, Traytel D. Foundational Nonuniform (Co)datatypes for Higher-Order Logic. In LICS 2017. IEEE Computer Society Press. 2017. p. 1-12 https://doi.org/10.1109/LICS.2017.8005071
Author
Bibtex
@inproceedings{e7eab41ca7c146bb9351de7aeb3db5bb,
title = "Foundational Nonuniform (Co)datatypes for Higher-Order Logic",
author = "Blanchette, {Jasmin Christian} and Fabian Meier and Andrei Popescu and Dmitriy Traytel",
year = "2017",
doi = "10.1109/LICS.2017.8005071",
language = "English",
pages = "1--12",
booktitle = "LICS 2017",
publisher = "IEEE Computer Society Press",
address = "United States",
}
RIS
TY - GEN
T1 - Foundational Nonuniform (Co)datatypes for Higher-Order Logic
AU - Blanchette, Jasmin Christian
AU - Meier, Fabian
AU - Popescu, Andrei
AU - Traytel, Dmitriy
PY - 2017
Y1 - 2017
U2 - 10.1109/LICS.2017.8005071
DO - 10.1109/LICS.2017.8005071
M3 - Article in proceedings
SP - 1
EP - 12
BT - LICS 2017
PB - IEEE Computer Society Press
ER -
ID: 245669276