Slide Pekan 06: Simply Typed Lambda Calculus
Slide ini dirancang untuk dipresentasikan, bukan untuk dibaca.
Kami telah mempersiapkan dokumen setara yang lebih mudah untuk dibaca agar dapat memberikan pemahaman yang lebih mendalam dan luas. Silahkan lihat:
- A Tutorial Introduction to the Lambda Calculus - Raul Rojas (Terjemahan)URL
- Rangkuman (Lecture Notes) Lambda CalculusFile
Selamat belajar.
Click FunPro2020-06b-SimplyTypedLambdaCalculus.pdf.pdf link to view the file.
