[scala] Church Rosser 이론 (Lambda calculus)에 대한 링크 펌질

람다 이론에 대해서 정확히 알지도 못한채 공부하고 책을 번역했다. 휴. 부족한 것이 많다.

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

http://syjdev.tistory.com/15

http://syjdev.tistory.com/16

http://syjdev.tistory.com/17

http://syjdev.tistory.com/18