The continuity of monadic stream functions
(2017)
Presentation / Conference Contribution
Capretta, V., & Fowler, J. (2017, June). The continuity of monadic stream functions. Presented at 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland
© 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.