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

by Dmitriy Traytel , Andrei Popescu , Jasmin Christian Blanchette
Citations:2 - 2 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