Session Transformer_Semantics
View
theory dependencies
View
document
View
outline
Theories
Isotone_Transformers
Sup_Inf_Preserving_Transformers
Powerset_Monad
Kleisli_Transformers
Kleisli_Quantaloid
Kleisli_Quantale