The continuity of monadic stream functions
(2017)
Conference Proceeding
© 2017 IEEE. Brouwer's continuity principle states that all functions from infinite sequences of naturals to naturals are continuous, that is, for every sequence the result depends only on a finite initial segment. It is an intuitionistic axiom that... Read More about The continuity of monadic stream functions.