Pages that link to "Item:Q1193588"
From MaRDI portal
The following pages link to New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic (Q1193588):
Displaying 8 items.
- Notions of computation and monads (Q757075) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Computational adequacy of the FIX-logic (Q1349677) (← links)
- Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
- On fixpoint objects and gluing constructions (Q1923803) (← links)
- Deriving logical relations from interpretations of predicate logic (Q2133176) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- A Semantical Approach to Equilibria and Rationality (Q2888496) (← links)
