Den syntaktiske kategorien for typer defineres som følger, hvor er en mengde med "basistyper", . Et eksempel på basistyper som man kan finne i programmeringsspråk er , hvor nat står for naturlige tall, og bool for bolske verdier. Da vil f.eks. typen representere en funksjon som tar et naturlig tall og returnerer en boolsk verdi. En funksjon som tar flere argumenter, f.eks. pluss funksjonen, vil ha typen .