Relating computational effects by \(\top \top \)-lifting (Q1951584)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relating computational effects by \(\top \top \)-lifting |
scientific article |
Statements
Relating computational effects by \(\top \top \)-lifting (English)
0 references
6 June 2013
0 references
logical relation
0 references
monad
0 references
fibration
0 references
computational effects
0 references
\(\top \top \)-lifting
0 references
algebraic operation
0 references
generic effect
0 references
fresh name creation
0 references
