Guarded induction on final coalgebras

相似书籍

• The continuum as a final coalgebra
  由: Pavlovic, D, et al.
  出版: (2002)
• Categories of processes enriched in final coalgebras
  由: Krsti/'c, S, et al.
  出版: (2001)
• On coalgebras and final semantics
  由: Worrell, J
  出版: (2000)
• On the final coalgebra of automatic sequences
  由: Kupke, C, et al.
  出版: (2011)
• Towards semantics of guarded induction
  由: ́Pavlovic, D
  出版: (1998)