RATH-Agda

swMATH13303MaRDI QIDQ25218FDOQ25218

Author name not available (Why is that?)

Cited In (3)

• Categories of Coalgebras with Monadic Homomorphisms
• Towards ``mouldable code via nested code graph transformation
• A Mechanised Abstract Formalisation of Concept Lattices

This page was built for software: RATH-Agda