Fernandez, Maribel (2009), Models of Computation: An Introduction to Computability Theory, Undergraduate Topics in Computer Science, Springer Science & Business Media, p. 33, ISBN9781848824348, «The Lambda calculus ... was introduced by Alonzo Church in the 1930s as a precise notation for a theory of anonymous functions».
«Lecture 29: Fixpoints and Recursion». CS3110 Spring 2012 :: Data Structures and Functional Programming. Cornell University - Computer Science. Consultado el 3 de diciembre de 2014.
«Quotations - Factor Documentation». Consultado el 26 de diciembre de 2015. «A quotation is an anonymous function (a value denoting a snippet of code) which can be used as a value and called using the Fundamental combinators.»
