Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Keyword: bisimulation
Coalgebras
: Coalgebras, bisimulation and lambda-coiteration
Milad Niqui
Hedges
: Some properties of hedges used by hedged bisimulation
Sébastien Briais