Відмінності між версіями «Лямбда-числення»

нема опису редагування
м (заміна застарілого тегу source)
 
 
λ-числення називається ''чистим'', якщо множина констант порожня. В іншому випадку числення називається ''аплікативним''.
 
== Див. також ==
* [[Типізоване лямбда-числення]]
* [[Функційне програмування]]
* [[Пі-числення]]
* [[Машина Тюринга]]
* [[Підстановка]]
* [[Лямбда-куб]]
 
== Примітки ==
 
== Література ==
 
* Achim Jung, ''[http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf A Short Introduction to the Lambda Calculus]''-([[Portable Document Format|PDF]])
* Henk Barendregt, The Bulletin of Symbolic Logic, Volume 3, Number 2, June 1997. The Impact of the Lambda Calculus in Logic and Computer Science
* [[Raúl Rojas]], ''[http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf A Tutorial Introduction to the Lambda Calculus]''{{ref-en}} -([[Portable Document Format|PDF]])
* Wolfengagen, V.E. '' Combinatory logic in programming. Computations with objects through examples and exercises''. — 2-nd ed. — M.: «Center JurInfoR» Ltd., 2003. — x+337 с. ISBN 5-89158-101-9.
 
== Див. також ==
 
* [[Типізоване лямбда-числення]]
* [[Функційне програмування]]
* [[Пі-числення]]
* [[Машина Тюринга]]
* [[Підстановка]]
 
 
{{comp-stub}}