A coalgebraic view of bar recursion and bar induction
(2016)
Journal Article
We reformulate the bar recursion and induction principles in terms of recursive and wellfounded coalgebras. Bar induction was originally proposed by Brouwer as an axiom to recover certain classically valid theorems in a constructive setting... Read More about A coalgebraic view of bar recursion and bar induction.