Update lambda-calculus-fr.html.markdown

This commit is contained in:
Yvan Sraka 2018-09-17 08:14:02 +02:00 committed by GitHub
parent 9db9ba309d
commit d3335643d1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,6 +5,7 @@ contributors:
- ["Max Sun", "http://github.com/maxsun"] - ["Max Sun", "http://github.com/maxsun"]
translators: translators:
- ["Yvan Sraka", "https://github.com/yvan-sraka"] - ["Yvan Sraka", "https://github.com/yvan-sraka"]
lang: fr-fr
--- ---
# Lambda-calcul # Lambda-calcul
@ -102,4 +103,4 @@ En utilisant `S`, nous pouvons définir la fonction `ADD`:
1. [A Tutorial Introduction to the Lambda Calculus](http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf) 1. [A Tutorial Introduction to the Lambda Calculus](http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf)
2. [Cornell CS 312 Recitation 26: The Lambda Calculus](http://www.cs.cornell.edu/courses/cs3110/2008fa/recitations/rec26.html) 2. [Cornell CS 312 Recitation 26: The Lambda Calculus](http://www.cs.cornell.edu/courses/cs3110/2008fa/recitations/rec26.html)
3. [Wikipedia - Lambda Calculus](https://en.wikipedia.org/wiki/Lambda_calculus) 3. [Wikipedia - Lambda Calculus](https://en.wikipedia.org/wiki/Lambda_calculus)