Publisher
Springer Nature Switzerland
Reference15 articles.
1. Aho AV, Sethi R, Ullman JD (1986) Compilers: principles, techniques, and tools. Series in computer science and information processing. Addison-Wesley, Boston; 2nd edition in 2006, coauthored with Monica Lam
2. Cantor G (1932) Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Springer, Berlin. Edited by Ernst Zermelo; reprinted by Olms, Hildeshaim, 1962
3. Church A (1938) The constructive second number class. Bull Am Math Soc 44(4):224–232
4. Church A, Kleene SC (1936) Constructions of formal definitions of functions of ordinal numbers. Bull Am math Soc 42:639
5. Church A, Kleene SC (1937) Formal definitions in the theory of ordinal numbers. Fundam Math 28:11–21