Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in coinduction

Compute an (infinite) tree from fixpoint operator using delay modality

haskell infinite coinduction

Termination checker fails after abstracting the call site

agda coinduction

CoNat : proving that 0 is neutral to the left

proof agda curry-howard coinduction codata

Is equality decidable on any coinductive type?

coq decidable coinduction

Proof of stream's functor laws

verification idris coinduction

Is an infinite list of ones sane?

list prolog cyclic iso-prolog coinduction

Trouble to understand Agda's Coinduction

agda coinduction

How to define constant heterogeneous streams in Haskell?

haskell type-families coinduction

How do I convert an inductive type into a coinductive type efficiently (without recursion)?

haskell recursion functional-programming induction coinduction

Are codatatypes really terminal algebras?

haskell type-systems category-theory coinduction

Are Lists Inductive or Coinductive in Haskell?

haskell infinite idris induction coinduction