Personal tools

Constructive Type Theory

by Pooya Ronagh — last modified 2008-02-23 19:30

There will be a mini-course on Type Theory hostet by the group in April 2008. Registration is open until March 10th, 2008.  

News
Constructive Type Theory 2008-02-23
More news…
Events Calendar
« July 2008 »
Su Mo Tu We Th Fr Sa
12345
6789101112
13141516171819
20212223242526
2728293031
 

Alternative Plone Skins © 2005 - 2007 Quintagroup.

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: