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

by Dmitriy Traytel , Andrei Popescu , Jasmin Christian Blanchette
Citations:8 - 4 self

Document Versions

Foundational, Compositional (Co)datatypes for Higher-Order Logic -- Category Theory Applied to Theorem Proving –Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette
Foundational, compositional (co)datatypes for higher-order logic—Category theory applied to theorem proving –Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette, Technische Universität München
Foundational, compositional (co)datatypes for higher-order logic—Category theory applied to theorem proving –Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette, Technische Universität München
Foundational, compositional (co)datatypes for higher-order logic—Category theory applied to theorem proving –Dmitriy Traytel, Technische Universität München, Andrei Popescu, Technische Universität München, Jasmin Christian Blanchette, Technische Universität München — 2012 — In LICS 2012
Foundational, compositional (co)datatypes for higher-order logic—Category theory applied to theorem proving –Dmitriy Traytel, Technische Universität München, Andrei Popescu, Technische Universität München, Jasmin Christian Blanchette, Technische Universität München — 2012 — In LICS 2012