Initial Algebras of Terms with Binding and Algebraic Structure

Bart Jacobs, Alexandra Silva. Initial Algebras of Terms with Binding and Algebraic Structure. In Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott, editors, Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday. Volume 8222 of Lecture Notes in Computer Science, pages 211-234, Springer, 2014. [doi]

Abstract

Abstract is missing.