람다 이론에 대해서 정확히 알지도 못한채 공부하고 책을 번역했다. 휴. 부족한 것이 많다.
Deduction, Reduction, Lamda Calculus, Substitution model..
코세라 강의https://www.coursera.org/learn/progfun2/lecture/Gd31A/lecture-3-1-functions-and-state) 중에 Church-Rosser의 람다 이론이 나와서 공부하기 좋은 링크를 걸어본다.
http://www.aistudy.com/pioneer/Church.A.htm
http://www.aistudy.com/computer/lambda_calculus.htm
https://groups.google.com/forum/#!topic/han.sci.math/SwxTPD2AYmM
https://www.cs.cornell.edu/~kozen/papers/ChurchRosser.pdf
https://en.wikipedia.org/wiki/Church%E2%80%93Rosser_theorem
'scala' 카테고리의 다른 글
| [scala] DynamicVariable 예제 (0) | 2017.07.07 |
|---|---|
| [scala] 변수를 사용하기 위한 underscore (0) | 2017.07.05 |
| [scala] Church Rosser 이론 (Lambda calculus)에 대한 링크 펌질 (0) | 2017.07.04 |
| [scala] Stream 의 concat은 #::이다. (0) | 2017.07.03 |
| [scala] forall, for 예제 코드 (0) | 2017.06.30 |
| [scala] forall 표현식 (0) | 2017.06.30 |
댓글을 달아 주세요