Elements of a theory of algebraic theories

J. M. E. Hyland. Elements of a theory of algebraic theories. Theoretical Computer Science, 546:132-144, 2014. [doi]

Abstract

Abstract is missing.