Onderwerpen

Semantiek van imperatieve talen en constructies

Correctheid van programma's

Semantiek van functionele talen en constructies