Pages that link to "Item:Q2863899"
From MaRDI portal
The following pages link to Continuous functions on final coalgebras (Q2863899):
Displaying 7 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Proofs, programs, processes (Q693063) (← links)
- Continuous functions on final coalgebras (Q2805147) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- Mixed Inductive/Coinductive Types and Strong Normalization (Q3498444) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity (Q6597949) (← links)
