https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/112dcb220854c60b9788e938b2aee6be62b17639/Homomorphism.agda
agda-spa/Homomorphism.agda at 112dcb220854c60b9788e938b2aee6be62b17639 - agda-spa - Daniel's Tiny...
agda-spa - Attempts at formalizing static program analysis techniques in Agda.
daniel sagdaspahomomorphismtiny
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.19
Monotone Bounded-Depth Complexity of Homomorphism Polynomials
monotoneboundeddepthcomplexityhomomorphism
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.54
The Complexity of Homomorphism Indistinguishability
complexityhomomorphismindistinguishability