Library Autosubst.SystemFCBV
Library Autosubst.axioms
Axiomatic Assumptions
Functional Extensionality
Propositional Extensionality
Library Autosubst.fintype
Finite Types and Mappings
Forward Function Composition
Finite Types
Type classes for renamings.
Type Classes for Substiution
Extension of Finite Mappings
Renamings and Injective Renamings
Notations
Library Autosubst.sem
Normalization of Call-By-Value System F
Call-by value reduction
Syntactic typing
Semantic typing
Applications
This page has been generated by
coqdoc