Name | Last commit | Last update |
---|---|---|
.. | ||
Abstract/TermModel | ||
Monotone | ||
ErrorDomains.agda | ||
Lift.agda | ||
PredomainInternalHom.agda | ||
Predomains.agda | ||
Semantics.agda | ||
StrongBisimulation.agda |
Name | Last commit | Last update |
---|---|---|
.. | ||
Abstract/TermModel | ||
Monotone | ||
ErrorDomains.agda | ||
Lift.agda | ||
PredomainInternalHom.agda | ||
Predomains.agda | ||
Semantics.agda | ||
StrongBisimulation.agda |