The Azimuth Project
Rigidification of algebras over multi-sorted theories (history)

January 20, 2020

January 17, 2020