함수형 프로그래밍을 위한 람다 대수 입문 번역 | 이태화 연구기록 아카이브

[utterances-bot]

함수형 프로그래밍을 위한 람다 대수 입문 번역 | 이유진 아카이브

A Tutorial Introduction to the Lambda Calculus 번역

https://studyingeugene.github.io/functional-programming/introduction-to-lambda-calculus/

[black7375]

아, 이 문서 좋죠
저도 대학교 휴학 때 잠시 공부할때 유용하게 봤었습니다.
https://black7375.tistory.com/62