RATH-Agda

swMATH13303MaRDI QIDQ25218FDOQ25218

Author name not available (Why is that?)

Official website: http://relmics.mcmaster.ca/RATH-Agda/

Cited In (3)

• Towards ``mouldable code via nested code graph transformation
• Categories of coalgebras with monadic homomorphisms
• A mechanised abstract formalisation of concept lattices

This page was built for software: RATH-Agda