A Coalgebraic View of Bar Recursion and Bar Induction.

Venanzio Capretta, Tarmo Uustalu

Browse the full FOSSACS paper archive.