Standard
Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving. / Traytel, Dmitriy; Popescu, Andrei; Blanchette, Jasmin Christian.
LICS 2012. IEEE Computer Society Press, 2012. s. 596-605.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Traytel, D, Popescu, A & Blanchette, JC 2012,
Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving. i
LICS 2012. IEEE Computer Society Press, s. 596-605.
https://doi.org/10.1109/LICS.2012.75
APA
Traytel, D., Popescu, A., & Blanchette, J. C. (2012).
Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving. I
LICS 2012 (s. 596-605). IEEE Computer Society Press.
https://doi.org/10.1109/LICS.2012.75
Vancouver
Traytel D, Popescu A, Blanchette JC.
Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving. I LICS 2012. IEEE Computer Society Press. 2012. s. 596-605
https://doi.org/10.1109/LICS.2012.75
Author
Traytel, Dmitriy ; Popescu, Andrei ; Blanchette, Jasmin Christian. / Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving. LICS 2012. IEEE Computer Society Press, 2012. s. 596-605
Bibtex
@inproceedings{9bd9f643365c4cf48d9a000e94f9a345,
title = "Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving",
author = "Dmitriy Traytel and Andrei Popescu and Blanchette, {Jasmin Christian}",
year = "2012",
doi = "10.1109/LICS.2012.75",
language = "English",
pages = "596--605",
booktitle = "LICS 2012",
publisher = "IEEE Computer Society Press",
address = "United States",
}
RIS
TY - GEN
T1 - Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving
AU - Traytel, Dmitriy
AU - Popescu, Andrei
AU - Blanchette, Jasmin Christian
PY - 2012
Y1 - 2012
U2 - 10.1109/LICS.2012.75
DO - 10.1109/LICS.2012.75
M3 - Article in proceedings
SP - 596
EP - 605
BT - LICS 2012
PB - IEEE Computer Society Press
ER -