Specifying with syntactic theory functors

Magne Haveraaen, Markus Roggenbach. Specifying with syntactic theory functors. J. Log. Algebr. Meth. Program., 113:100543, 2020. [doi]

Abstract

Abstract is missing.