Calculus in coinductive form

समान संसाधन

• A new coinductive confluence proof for infinitary lambda calculus
  द्वारा: Łukasz Czajka
  प्रकाशित: (2020-03-01)
• The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
  द्वारा: Ranald Clouston, और अन्य
  प्रकाशित: (2017-04-01)
• The coinductive resumption monad
  द्वारा: Piróg, M, और अन्य
  प्रकाशित: (2014)
• The coinductive resumption monad
  द्वारा: Piróg, M, और अन्य
  प्रकाशित: (2014)
• Applications of Metric Coinduction
  द्वारा: Dexter Kozen, और अन्य
  प्रकाशित: (2009-09-01)