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
Workshop at Bordeaux (ARC Corias): deduction modulo
Mon, 2009-12-14 15:49 | by
gfaure
Date:
Thursday, January 7, 2010 -
15:49
-
17:49
Speaker:
Workshop at Bordeaux (ARC Corias): deduction modulo
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