Foundational, Compositional (Co)datatypes for Higher-Order Logic—Category Theory Applied to Theorem Proving

Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

47 Citationer (Scopus)

Adgang til dokumentet

@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",

}

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 -