Guarded induction on final coalgebras

Slični predmeti

• The continuum as a final coalgebra
  od: Pavlovic, D, i dr.
  Izdano: (2002)
• Categories of processes enriched in final coalgebras
  od: Krsti/'c, S, i dr.
  Izdano: (2001)
• On coalgebras and final semantics
  od: Worrell, J
  Izdano: (2000)
• On the final coalgebra of automatic sequences
  od: Kupke, C, i dr.
  Izdano: (2011)
• On coalgebra of real numbers
  od: Pavlovic, D, i dr.
  Izdano: (1999)