Guarded induction on final coalgebras

Míreanna comhchosúla

• The continuum as a final coalgebra
  de réir: Pavlovic, D, et al.
  Foilsithe / Cruthaithe: (2002)
• Categories of processes enriched in final coalgebras
  de réir: Krsti/'c, S, et al.
  Foilsithe / Cruthaithe: (2001)
• On coalgebras and final semantics
  de réir: Worrell, J
  Foilsithe / Cruthaithe: (2000)
• On the final coalgebra of automatic sequences
  de réir: Kupke, C, et al.
  Foilsithe / Cruthaithe: (2011)
• On coalgebra of real numbers
  de réir: Pavlovic, D, et al.
  Foilsithe / Cruthaithe: (1999)