8 lambda kalkulus ilustrácie a vektory sú dostupné bez licenčných poplatkov.

Táto vizualizácia vysvetľuje aplikáciu funkcie vo lambda kalkule prostredníctvom štruktúry namiesto textu. Horný ľavý box predstavuje abstrakciu: lambda značka ukazuje na bodkovanú vstupnú slot, a telo vedľa neho obsahuje dva bodkované zástupné symboly spojené jedným oblúkom, čo ukazuje, že ide o tú istú viazanú premennú, pričom štvorca predstavuje konštantny termín.
Táto vizualizácia vysvetľuje aplikáciu funkcie vo lambda kalkule prostredníctvom štruktúry namiesto textu. Horný ľavý box predstavuje abstrakciu: lambda značka ukazuje na bodkovanú vstupnú slot, a telo vedľa neho obsahuje dva bodkované zástupné symboly spojené jedným oblúkom, čo ukazuje, že ide o tú istú viazanú premennú, pričom štvorca predstavuje konštantny termín.
Semantika ako komplikovaná téma, zobrazená ako malé kúsky skladačky a zbierka slov a konceptov, ktoré sú najdôležitejšími myšlienkami pre semantiku. Symbolizuje komplexnosť semantiky a jej vzťah k iným predmetom.
Semantika ako komplikovaná téma, zobrazená ako malé kúsky skladačky a zbierka slov a konceptov, ktoré sú najdôležitejšími myšlienkami pre semantiku. Symbolizuje komplexnosť semantiky a jej vzťah k iným predmetom.