한국어로 된 lambda caculus 설명해주는 책같은거 있음?

[익명(110.70)]

수업 몇번 인들었더니 못따라가겠으 ㅜㅜ

- dc official App

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(106.102)]

웃지마

[산기대17세(ao3891)]

그걸 수업하는 대학교 다닐정도면 원서 쌉가능 - dc App

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(110.70)]

감사합니다 한번 읽어볼게용 - dc App

[기괴공학도(mecheng98)]

연습문제 푼 것 중에 틀린 것 있으니까 조심하셈 ㅇㅅㅇ

[익명(175.223)]

스킴 배울때 church numreal 다루면 람다대수 어렵지도 않던데ㅇㅅㅇ - dc App

[익명(175.223)]

유튜브보면 이해 될껄 - dc App

[기괴공학도(mecheng98)]

church numeral 뺄셈 유도 가능?

[익명(110.70)]

피피티 봐야 되겠지만 곱셈 나눗셈도 가능 - dc App

[기괴공학도(mecheng98)]

증명 ㄱㄱ

[익명(110.70)]

귀찮 SICP 에도 비슷한 내용이씀 - dc App