View in EDS PDF Full Text

Universal algebra in UniMath.

Saved in:
Bibliographic Details
Title: Universal algebra in UniMath.
Authors: Amato, Gianluca1, gianluca.amato@unich.it, Calosci, Matteo2, Maggesi, Marco2,3, Perini Brogi, Cosimo1,3
Source: Mathematical Structures in Computer Science; Sep2025, Vol. 34 Issue 7, p869-891, 23p
Database: Applied Science & Technology Source
Description
ISSN:09601295
DOI:10.1017/S0960129524000367