Pages that link to "Item:Q1337357"
From MaRDI portal
The following pages link to Semantics of weakening and contraction (Q1337357):
Displayed 8 items.
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Lifting results for categories of algebras (Q1605183) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)