Similar Items: Coinductive Formal Reasoning in Exact Real Arithmetic
- From coinductive proofs to exact real arithmetic: theory and applications
- Logic for exact real arithmetic
- Type classes for efficient exact real arithmetic in Coq
- Formal Languages, Formally and Coinductively
- Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types