%0 Journal Article %1 journals/lmcs/WesterbaanWKTVB17 %A Westerbaan, Bram %A Westerbaan, Bas %A Kuyper, Rutger %A Tankink, Carst %A Viehoff, Remy %A Barendregt, Henk %D 2017 %J Log. Methods Comput. Sci. %K dblp %N 4 %T Statman's Hierarchy Theorem. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#WesterbaanWKTVB17 %V 13

@article{journals/lmcs/WesterbaanWKTVB17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Westerbaan, Bram and Westerbaan, Bas and Kuyper, Rutger and Tankink, Carst and Viehoff, Remy and Barendregt, Henk}, biburl = {https://www.bibsonomy.org/bibtex/233afae63682888a6cad020c8fe12f8d8/dblp}, ee = {https://doi.org/10.23638/LMCS-13(4:19)2017}, interhash = {5b86395736c13369ef93858c57284d39}, intrahash = {33afae63682888a6cad020c8fe12f8d8}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-09T01:50:43.000+0200}, title = {Statman's Hierarchy Theorem.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#WesterbaanWKTVB17}, volume = 13, year = 2017 }