1 search result for "tag:"keyword: coiteration""

Showing 1 - 1
  1. coq-coalgebras

    No documentation

    Coalgebras, bisimulation and lambda-coiteration
    keyword: coalgebra keyword: bisimulation keyword: weakly final keyword: coiteration keyword: co-inductive types category: Mathematics/Category Theory date: 2008-10
    Milad Niqui <M.Niqui@cwi.nl> [http://www.cwi.nl/~milad]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019