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

by Dmitriy Traytel , Andrei Popescu , Jasmin Christian Blanchette
Citations:18 - 11 self