Foundational, compositional (co)datatypes for higher-order logic—Category theory applied to theorem proving

by Dmitriy Traytel , Andrei Popescu , Jasmin Christian Blanchette , Technische Universität München
Citations:8 - 4 self