Pages that link to "Item:Q3401133"
From MaRDI portal
The following pages link to Representations of Stream Processors Using Nested Fixed Points (Q3401133):
Displaying 13 items.
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Continuous functions on final coalgebras (Q2805147) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- (Q2980965) (← links)
- Nonflatness and totality (Q4611200) (← links)
- (Q5155674) (← links)
- (Q5216302) (← links)
- Well-founded recursion with copatterns and sized types (Q5371960) (← links)
- Stream processors and comodels (Q5883748) (← links)
- Hypernormalisation in an abstract setting (Q6116181) (← links)
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity (Q6597949) (← links)