Web Home

DTP

---+++ Seminar on Dependently Typed Programming
<div class="newsbar">
%INCLUDE{WebNews}%
</div>

Welcome to this seminar taking place in block 4 of the academic year 2012/2013
at Utrecht University. 

Navigate by clicking the links in the bar on the left.

<!--
   * Set PREV_SKIN = notitle
-->