Pages that link to "Item:Q3644745"
From MaRDI portal
The following pages link to From Coinductive Proofs to Exact Real Arithmetic (Q3644745):
Displaying 9 items.
- Proofs, programs, processes (Q693063) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Higher-order concepts for the potential infinite (Q2682910) (← links)
- Typed vs. Untyped Realizability (Q3178273) (← links)
- (Q4989402) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Program extraction in exact real arithmetic (Q5740678) (← links)
