On the complexity of stream equality
Article in Journal of Functional Programming (January 2014)
The most recent citing publications are shown below. View all 9 publications that cite this research output on Dimensions.
The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus
Article in Logical Methods in Computer Science (April 2009)
Lambda-Calculus and Combinators in the 20th Century
Book chapter (January 2009)