Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Keyword: coinductive
Coalgebras
: Coalgebras, bisimulation and lambda-coiteration
Milad Niqui
Paco
: Paco: Parameterized Coinduction
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis