Dance of the Starlings
暂无分享,去创建一个
Jan Willem Klop | Henk Barendregt | Jörg Endrullis | Johannes Waldmann | J. Endrullis | H. Barendregt | J. Klop | Johannes Waldmann
[1] Jan Willem Klop,et al. Highlights in infinitary rewriting and lambda calculus , 2012, Theor. Comput. Sci..
[2] Alexandra Silva,et al. A Coinductive Treatment of Infinitary Rewriting , 2013, ArXiv.
[3] Jan Willem Klop,et al. Transfinite Reductions in Orthogonal Term Rewriting Systems , 1995, Inf. Comput..
[4] Mark J. van der Laan,et al. The Open Problem , 2011 .
[5] Vincent van Oostrom,et al. Vicious Circles in Orthogonal Term Rewriting Systems , 2005, Electron. Notes Theor. Comput. Sci..
[6] H. B. Curry,et al. Combinatory Logic, Volume I. , 1961 .
[7] Jan Willem Klop,et al. Productivity of stream definitions , 2007, Theor. Comput. Sci..
[8] Aart Middeldorp. Call by need computations to root-stable form , 1997, POPL '97.
[9] Jan Willem Klop,et al. Descendants and Origins in Term Rewriting , 2000, Inf. Comput..
[10] Jan Willem Klop,et al. Proving Infinitary Normalization , 2009, TYPES.
[11] Jan Willem Klop,et al. Clocked lambda calculus † , 2015, Mathematical Structures in Computer Science.
[12] Jan Willem Klop,et al. Modular Construction of Fixed Point Combinators and Clocked Böhm Trees , 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
[13] Chang Liu,et al. Term rewriting and all that , 2000, SOEN.
[14] Johannes Waldmann,et al. The Combinator S , 2000, Inf. Comput..
[15] Katalin Bimbó. Combinatory Logic : Pure, Applied and Typed , 2011 .
[16] H. Barendregt. Lambda Calculus kHV its Hovels , 1984 .
[17] Hans Zantema,et al. Degrees of Undecidability in Term Rewriting , 2009, CSL.
[18] R. Hindley,et al. History of Lambda-calculus and Combinatory Logic , 2006 .
[19] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[20] Hans Zantema,et al. Non-looping string rewriting , 1999, RAIRO Theor. Informatics Appl..
[21] Vincent van Oostrom,et al. Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting , 2010, RTA.
[22] Hendrik Pieter Barendregt,et al. Needed Reduction and Spine Strategies for the Lambda Calculus , 1987, Inf. Comput..
[23] Jan A. Bergstra,et al. Degrees, reductions and representability in the lambda calculus , 1976 .
[24] J. Heijenoort. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .
[25] Jakob Grue Simonsen,et al. Levels of undecidability in rewriting , 2011, Inf. Comput..
[26] H. Barendregt. Some extensional term models for combinatory logics and lambda - calculi , 1971 .
[27] Giuseppe Jacopini,et al. A condition for identifying two elements of whatever model of combinatory logic , 1975, Lambda-Calculus and Computer Science Theory.
[28] Jörg Endrullis,et al. Data-Oblivious Stream Productivity , 2008, LPAR.
[29] Jörg Endrullis,et al. Local Termination: theory and practice , 2010, Log. Methods Comput. Sci..
[30] R. Smullyan. To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic , 1985 .
[31] Jörg Endrullis,et al. Lazy productivity via termination , 2011, Theor. Comput. Sci..
[32] R. Smullyan. Diagonalization and Self-Reference , 1994 .
[33] Jörg Endrullis,et al. Complexity of Fractran and Productivity , 2009, CADE.
[34] Nachum Dershowitz,et al. Rewrite, rewrite, rewrite, rewrite, rewrite... , 1989, POPL '89.
[35] Enno Ohlebusch,et al. Term Rewriting Systems , 2002 .
[36] Hans Zantema,et al. Termination of Term Rewriting by Semantic Labelling , 1995, Fundam. Informaticae.
[37] Jan Willem Klop,et al. Combinatory reduction systems , 1980 .
[38] Richard Statman,et al. Lambda Calculus with Types , 2013, Perspectives in logic.
[39] Vincent van Oostrom,et al. Meaningless Terms in Rewriting , 1996, J. Funct. Log. Program..
[40] »Nimm Zwei!« , 2017, Critical Realism meets kritische Sozialtheorie.
[41] Jörg Endrullis,et al. Local Termination , 2009, RTA.
[42] A. Church. The calculi of lambda-conversion , 1941 .
[43] Benedetto Intrigila,et al. Church-Rosser l-theories, infinite l-terms and consistency problems , 1996 .
[44] Jan Willem Klop,et al. Infinitary Normalization , 2005, We Will Show Them!.
[45] Andrew Polonsky,et al. Infinitary Rewriting Coinductively , 2011, TYPES.
[46] Hendrik Pieter Barendregt,et al. Applications of infinitary lambda calculus , 2009, Inf. Comput..
[47] Hendrik Pieter Barendregt,et al. Some extensional term models for combinatory logics and l - calculi , 1971 .
[48] Jan Willem Klop,et al. Discriminating Lambda-Terms Using Clocked Boehm Trees , 2014, Log. Methods Comput. Sci..
[49] Hendrik Pieter Barendregt. Representing 'undefined' in lambda Calculus , 1992, J. Funct. Program..
[50] Alessandro Berarducci,et al. Innite -calculus and non-sensible models , 1994 .
[51] M. Schönfinkel. Über die Bausteine der mathematischen Logik , 1924 .
[52] Efstathios Zachos. Kombinatorische Logik und S-Terme , 1978 .