A coalgebraic view of bar recursion and bar induction
From MaRDI portal
Publication:2811334
DOI10.1007/978-3-662-49630-5_6zbMATH Open1474.03105OpenAlexW2437461174MaRDI QIDQ2811334FDOQ2811334
Authors: Venanzio Capretta, Tarmo Uustalu 
Publication date: 10 June 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://eprints.nottingham.ac.uk/33872/1/Barred_Coalgebras_FOSSACS2016.pdf
Recommendations
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
- On Spector's bar recursion
- Characterising Brouwer's continuity by bar recursion on moduli of continuity
- Bar induction. The good, the bad, and the ugly
- Selection functions, bar recursion and backward induction
Cites Work
- Representations of stream processors using nested fixed points
- Title not available (Why is that?)
- Title not available (Why is that?)
- Containers: Constructing strictly positive types
- The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the computational content of the axiom of choice
- Categorical set theory: A characterization of the category of sets
- Title not available (Why is that?)
- Selection functions, bar recursion and backward induction
- Modified bar recursion
- Types for Proofs and Programs
- Recursive coalgebras of finitary functors
- Continuous functions on final coalgebras
- The temporal logic of coalgebras via Galois algebras
- Intuitionistic sets and ordinals
- Well-pointed coalgebras
- Recursive coalgebras from comonads
- Corecursive algebras: a study of general structured corecursion
Cited In (3)
This page was built for publication: A coalgebraic view of bar recursion and bar induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811334)
