arXiv1609.05382MaRDI QIDQ6277619
Brendan Fong
Publication date: 17 September 2016
Mathematics Subject Classification ID
Theories (e.g., algebraic theories), structure, and semantics (18C10)