TypiCal
Types, logic and calculus
Search this site:
Research Topics
People
Seminars
Trainings
Collaborations
Software
Bibliography
Recent News
Dedukti 1.0 is out !
Fri, 9 Oct 2009
PiR2: a new project is born
Thu, 1 Jan 2009
A new site for TypiCal
Fri, 6 Feb 2009
TypiCal seminars
TBA
Thursday, May 6, 2010 -
14:00
-
16:00
TBA
Thursday, April 15, 2010 -
14:00
-
16:00
Catégoricité et classification des ensembles fortement minimaux
Thursday, April 1, 2010 -
14:00
-
16:00
Home
Calendar
Year
Month
Week
Day
« Prev
Monday, February 15 2010
Next »
Items
Calendar
«
March
»
M
T
W
T
F
S
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
27
29
30
31
Log in