Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics |
scientific article |
Statements
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (English)
0 references
3 May 2022
0 references
computational effects
0 references
type-and-effect systems
0 references
monads
0 references
factorisation systems
0 references
fibrations
0 references
logical relations
0 references
denotational semantics
0 references
