Publisher
Springer Nature Switzerland
Reference19 articles.
1. Barendregt, H.P.: The Lambda Calculus – Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, vol. 103. North-Holland (1985)
2. Church, A.: The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies). Princeton University Press, USA (1985)
3. Curry, H.B.: Grundlagen der kombinatorischen Logik. Am. J. Math. 52(3), 509–536 (1930)
4. Endrullis, J., Zantema, H.: Proving non-termination by finite automata. In: 26th International Conference on Rewriting Techniques and Applications (RTA 2015). LIPIcs, vol. 36, pp. 160–176 (2015). https://doi.org/10.4230/LIPICS.RTA.2015.160
5. Lecture Notes in Computer Science;T Genet,1998