Pages that link to "Item:Q2974666"
From MaRDI portal
The following pages link to A coinductive approach to computing with compact sets (Q2974666):
Displaying 7 items.
- A bitopological view on cocompact extensions (Q1183639) (← links)
- Real number computation through Gray code embedding. (Q1607300) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- From Sets to Bits in Coq (Q2798253) (← links)
- Coinductive counting: bisimulation in enumerative combinatorics (extended abstract) (Q2842562) (← links)
- Coinductive formulas and a many-sorted interpolation theorem (Q3822150) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)