coinduction

There are 0 repository under coinduction topic.

• o29 / n2o

  N2O: Coq Application Server

  coinductioncoqeffects
  Language:Coq 6

• andreasabel / continuous-normalization

  Evaluation of typed terms in Agda using the Delay monad.

  agdacall-by-namecoinductiondelayevaluationlambda-calculusmonads
  Language:Agda 5

• wenkokke / EnumeratingTheRationals

  a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq

  homeworkrationalscoinduction
  Language:Coq 3

• verimath / real

  Real Numbers as CoInductive Streams of Digits

  coinductionmodelingnumbers
  Language:Coq 2

• dcastrop / coq_ind_coind

  A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".

  coinductioncoqinduction
  Language:Coq 0

• verimath / termination

  CoInduction Termination and Category Theory

  category-theorycoinductionstreams
  Language:Coq 0

• Isaac-DeFrain / coinduction

  Coinductive types + techniques

  coinduction
  Language:OCaml

• wkolowski / Seminar-Bisimulation-and-Coinduction

  Code and slides for my talk presented at the seminar.

  coinductioncoinductive-typesinductioninductive-typestype-theorytopologycategory-theoryfunctional-programmingintuition
  Language:TeX