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