Dependent Record Types and Algebraic Structures in Type Theory (0)

by Gustavo Betarte