Guarded induction on final coalgebras

類似資料

• The continuum as a final coalgebra
  著者:: Pavlovic, D, 等
  出版事項: (2002)
• Categories of processes enriched in final coalgebras
  著者:: Krsti/'c, S, 等
  出版事項: (2001)
• On coalgebras and final semantics
  著者:: Worrell, J
  出版事項: (2000)
• On the final coalgebra of automatic sequences
  著者:: Kupke, C, 等
  出版事項: (2011)
• On coalgebra of real numbers
  著者:: Pavlovic, D, 等
  出版事項: (1999)