Logical Construction of Final Coalgebras

Luigi Santocanale. Logical Construction of Final Coalgebras. Electronic Notes in Theoretical Computer Science, 82(1):321-340, 2003. [doi]

Abstract

Abstract is missing.