Additions and corrections to “Terminal coalgebras in well-founded set theory”

Two applications of analytic functors

Theoretical Computer Science - Special issue on theories of types and proofs

Coalgebras of bounded type

Mathematical Structures in Computer Science

On coalgebra based on classes

Theoretical Computer Science - Logic, semantics and theory of programming

A general final coalgebra theorem

Mathematical Structures in Computer Science

Terminal coalgebras and free iterative theories

Information and Computation

A modal proof theory for final polynomial coalgebras

Theoretical Computer Science

Expressivity of coalgebraic modal logic: The limits and beyond

Theoretical Computer Science

Properties of Set Functors

Electronic Notes in Theoretical Computer Science (ENTCS)

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving

LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science