coinductive-types

There are 0 repository under coinductive-types topic.

• gallais / agda-sizedIO

  IO using sized types and copatterns

  agdainput-outputcoinductive-typessized-typesbindingsexperimentaldirectory-treefilepath
  Language:Agda 33

• wkolowski / Seminar-Bisimulation-and-Coinduction

  Code and slides for my talk presented at the seminar.

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

• vishallama / coinductive-types

  Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran

  coqformal-verificationtype-theorylambda-calculusinductive-typescoinductive-types
  Language:Coq 0