The continuity of monadic stream functions
(2017)
Conference Proceeding
Capretta, V., & Fowler, J. (2017). The continuity of monadic stream functions. In Proceedings - 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017) (658-669). https://doi.org/10.1109/LICS.2017.8005119
© 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.