8 kalkulus lambda ilustrasi & vektor tersedia bebas royalti.

Visualisasi ini menjelaskan penerapan fungsi dalam kalkulus lambda melalui struktur alih-alih teks. Kotak di kiri atas mewakili abstraksi: penanda lambda menunjuk ke slot input putus-putus, dan badan di sampingnya berisi dua placeholder putus-putus yang dihubungkan oleh satu busur, menunjukkan bahwa keduanya adalah variabel terikat yang sama, dengan persegi mewakili sebuah term konstan.
Visualisasi ini menjelaskan penerapan fungsi dalam kalkulus lambda melalui struktur alih-alih teks. Kotak di kiri atas mewakili abstraksi: penanda lambda menunjuk ke slot input putus-putus, dan badan di sampingnya berisi dua placeholder putus-putus yang dihubungkan oleh satu busur, menunjukkan bahwa keduanya adalah variabel terikat yang sama, dengan persegi mewakili sebuah term konstan.
Semantik sebagai topik yang rumit, digambarkan sebagai potongan-potongan puzzle kecil dan kumpulan kata dan konsep, yang merupakan ide-ide paling penting untuk semantik. Melambangkan kompleksitas semantik dan hubungannya dengan subjek lain.
Semantik sebagai topik yang rumit, digambarkan sebagai potongan-potongan puzzle kecil dan kumpulan kata dan konsep, yang merupakan ide-ide paling penting untuk semantik. Melambangkan kompleksitas semantik dan hubungannya dengan subjek lain.