Home
About Coq
Get Coq
Documentation
Community

The Coq Proof Assistant

Keyword: monad

lc: Modules over monads and lambda-calculi
André Hirschowitz, Marco Maggesi

webmaster
xhtml valid
CSS valid