Vol-4038⫷ Vol-4039 ⫸Vol-4040
urn:nbn:de:0074-4039-0


Vol-4039/paper18⫷Vol-4039/paper04⫸Vol-4039/paper07
Gianluca AmatoMatteo CalosciMarco MaggesiCosimo Perini Brogi

Displayed Universal Algebra in UniMath: Basic Definitions and Results