[질문] 람다대수 되게 재밌네

[익명(223.38)]

순수 함수만으로 숫자나 자료구조 유도하는게 되게 신기하네

람다대수에 대해 좀 더 깊이 배워보고싶은데 좋은 책이나 자료같은거 있나요?

[익명(211.234)]

그런 거에 재미 느끼면 아예 수학과 애들이 보는 집합론이나 수학기초론 서적같은 거 찾아보셈

[익명(223.38)]

그럴까. 집합론 보면서 이참에 수학 좀 제대로 공부해봐야게슴

[익명(buypostal4)]

집합론에는 관련내용 없고 computability theory 봐야되는데 저거 소개하는 책들이 그다지 많지 않음

[다믜(damhiya)]

우리 같이 PL해요

[익명(223.38)]

원래 그쪽에 관심있어서 여러가지 검색하다가 람다대수가 재밌어보여서 본 ㅋㅋ

[black7375(221.168)]

이 PDF 내용 좋음
https://arxiv.org/pdf/1503.09060.pdf
저도 함수형 입문할때 봤으요

[익명(183.96)]

오 나도 ㄳ

[익명(buypostal4)]

http://www-formal.stanford.edu/jmc/recursive.html
이건
한번 읽어볼만함