research
∙
03/16/2021
The Agda Universal Algebra Library, Part 2: Structure
The Agda Universal Algebra Library (UALib) is a library of types and pro...
share
research
∙
03/09/2021
The Agda Universal Algebra Library, Part 1: Foundation
The Agda Universal Algebra Library (UALib) is a library of types and pro...
research
∙
01/25/2021
The Agda Universal Algebra Library and Birkhoff's Theorem in Dependent Type Theory
The Agda Universal Algebra Library (UALib) is a library of types and pro...
research
∙
11/16/2020
Polynomial-time Tests for Difference Terms in Idempotent Varieties
We consider the following practical question: given a finite algebra A i...
research
∙
10/10/2020