Notation.v
Signatures.v
BinSumOfSignatures.v
SumOfSignatures.v
BinProductOfSignatures.v
SubstitutionSystems.v
MonadsFromSubstitutionSystems.v
GenMendlerIteration.v
GenMendlerIteration_alt.v
LiftingInitial.v
LiftingInitial_alt.v
ModulesFromSignatures.v
LamSignature.v
Lam.v
SignatureExamples.v
SignatureCategory.v
SubstitutionSystems_Summary.v
LamHSET.v
BindingSigToMonad.v
LamFromBindingSig.v
MLTT79.v
FromBindingSigsToMonads_Summary.v
MonadsMultiSorted.v
MonadsMultiSorted_alt.v
MultiSorted.v
MultiSorted_alt.v
MonadicSubstitution_alt.v
STLC.v
STLC_alt.v
CCS.v
CCS_alt.v
PCF_alt.v
ActionBasedStrengthOnHomsInBicat.v
