Volume: Vol-4039 ICTCS 2025 | Year: 2025

Paper: « paper18 | paper04 | paper07 »

Displayed Universal Algebra in UniMath: Basic Definitions and Results

• Gianluca Amato
• Matteo Calosci
• Marco Maggesi
• Cosimo Perini Brogi

127-133 PDF