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)