8 lambda kalkulus illustrasjoner og vektorer er tilgjengelige royaltyfri.

Denne visualiseringen forklarer funksjonsanvendelse i lambda-kalkulus gjennom struktur snarere enn tekst. Boksen øverst til venstre representerer en abstraksjon: en lambda-markør peker på et stiplet inngangsfelt, og kroppen ved siden av inneholder to stiplede plassholdere forbundet med en enkelt bue, som viser at det er den samme bundne variabelen, mens et kvadrat representerer et konstant ledd.
Denne visualiseringen forklarer funksjonsanvendelse i lambda-kalkulus gjennom struktur snarere enn tekst. Boksen øverst til venstre representerer en abstraksjon: en lambda-markør peker på et stiplet inngangsfelt, og kroppen ved siden av inneholder to stiplede plassholdere forbundet med en enkelt bue, som viser at det er den samme bundne variabelen, mens et kvadrat representerer et konstant ledd.
Semantikk som et komplisert tema, fremstilt som små puslespillbrikker og en samling ord og konsepter, som er de viktigste ideene for semantikk. Symboliserer kompleksiteten i semantikk og dens forhold til andre fag.
Semantikk som et komplisert tema, fremstilt som små puslespillbrikker og en samling ord og konsepter, som er de viktigste ideene for semantikk. Symboliserer kompleksiteten i semantikk og dens forhold til andre fag.