8 lambda kalkulus ilustrace a vektory jsou k dispozici bez licenčních poplatků.

Tato vizualizace vysvětluje aplikaci funkce v lambda kalkulu prostřednictvím struktury, nikoliv textu. Horní levý box představuje abstrakci: lambda značka ukazuje na čárkovaný vstupní slot a tělo vedle něj obsahuje dva čárkované zástupné symboly spojené jedním obloukem, což ukazuje, že jde o stejnou vázanou proměnnou, přičemž čtverec představuje konstantní term.
Tato vizualizace vysvětluje aplikaci funkce v lambda kalkulu prostřednictvím struktury, nikoliv textu. Horní levý box představuje abstrakci: lambda značka ukazuje na čárkovaný vstupní slot a tělo vedle něj obsahuje dva čárkované zástupné symboly spojené jedním obloukem, což ukazuje, že jde o stejnou vázanou proměnnou, přičemž čtverec představuje konstantní term.
Semantika jako komplikované téma, zobrazené jako malé dílky puzzle a sbírka slov a konceptů, které jsou nejdůležitějšími myšlenkami pro semantiku. Symbolizuje komplexnost semantiky a její vztah k dalším oborům.
Semantika jako komplikované téma, zobrazené jako malé dílky puzzle a sbírka slov a konceptů, které jsou nejdůležitějšími myšlenkami pro semantiku. Symbolizuje komplexnost semantiky a její vztah k dalším oborům.