Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Contribution: lc
Library lc.Derived_Mod
Derived Module
Exponetial Monads
Library lc.Extensionality
Axiom of extensionality
Library lc.Lc
Simple (untyped) Lambda Calculus
Library lc.Misc
Miscellanea
Handy terms for
option
An useful hint.
Library lc.Mod
Modules
Notations
Definition of module of a monad.
Tautological module
Pull-back module
Library lc.Monad
Monads
Notations
Definition of monad.
Monad morphisms
Library lc.Quot
Equivalence relations and quotients
Equivalence relations
Quotients
Library lc.Slc
Syntactic Lambda calculus
Notations
Inductive datatype of terms
Navigation
Users' contributions
Home
Categories
Keywords
Contribution: lc
Description
Table of contents
Index