Publisher
Springer Nature Singapore
Reference15 articles.
1. Berners-Lee T, Hall W, Hendler J, O’Hara K, Shadbolt N, Weitzner DA (2006) Framework for web science. Foundations and Trends in Web Sci 1(1):1–130
2. Church A (1941) The calculi of lambda-conversion. Humphrey Milford Oxford University Press, Princeton University Press, London, p 92
3. Curry HB (1934) Functionality in combinatory logic. Proc Natl Acad Sci USA 20:584–590
4. de Bruijn NG (1980) A survey of the project Automath. In: To H.B. Curry: essays in combinatory logic, lambda calculus and formalism. Academic Press, pp 579–606
5. Schonfinkel MI (1924) Uber die Bausteine der mathematischen Logik. Math. Annalen 92:305–316