The Azimuth Project
Enriched algebraic theories and monads for a system of arities (history)

February 6, 2020

February 5, 2020

January 17, 2020