Onderwerpen
Semantiek van imperatieve talen
- structurele operationele semantiek
- parallellisme
- nondeterminisme
- scope
- procedure-evaluatie
- recursie
Specificatieformalismen
Lambda-calculus
- bèta-reductie
- confluentie
- normalisatie
- representatie berekenbare functies
- typering
- unificatie
Semantiek van logische talen
Axiomatische systemen
- onvolledigheid
- beslisbaarheid