Vincent van Oostrom

Address

I'm on holiday and away from my e-mail in november 2006.

Onderwijs:

• Typentheorie (2000-)
• Datastructuren voor CKI (2005)
• Computationele Methoden in de Typentheorie (2000-)
• Imperatief Programmeren (1999-)
• Afgelopen onderwijs

Event:

• Attend TeReSe, thursday December 14th 2006 in Utrecht.
  
• Buy the book on Term Rewriting Systems by Terese.
• Past event

Publication:

• algebra
• logic
• rewriting
• miscellaneous