TypiCal
Types, logic and calculus
Search this site:
Research Topics
People
Seminars
Collaborations
Internships
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
Home
A new site for TypiCal
Fri, 2009-02-06 17:59 | by
notin
A new site for the TypiCal team is now out ! Please visit
this page
.
Calendar
«
February
»
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
28
29
Log in