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

 

λ-числення називається ''чистим'', якщо множина констант порожня. В іншому випадку числення називається ''аплікативним''.

 

== Примітки ==

 

== Література ==

* 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}}