wkolowski / Seminar-Bisimulation-and-Coinduction

Code and slides for my talk presented at the seminar.

coinduction coinductive-types induction inductive-types type-theory topology category-theory functional-programming intuition

This repository is not active

About

Code and slides for my talk presented at the seminar.

coinduction coinductive-types induction inductive-types type-theory topology category-theory functional-programming intuition

Languages

Language:TeX 77.7%Language:Coq 22.3%