Diese Seite auf deutsch. 
Esta página em português. 
Cette page en français.
Universidade Nova de Lisboa,
Departamento
de Matemática
Room
46
Building VII
P-2829-516 Caparica
Universität Tübingen,
WSI
D-72076 Tübingen
Sand 13
E-mail:
kahle@informatik.uni-tuebingen.de
CENTRIA,
Universidade Nova de Lisboa,
Departamento
de Informática
Room
2.51
Building II
P-2829-516 Caparica
Telephone (Office of the department):
21-2948536
or
00351-21-2948536
please ask for extension 10760.
Fax: 21-2948541
or
00351-21-2948541
E-mail:
kahle@fct.unl.pt
CMUC,
Universidade de Coimbra, Departamento
de Matemática
P-3001-454 Coimbra
Apartado 3008
E-mail:
kahle@mat.uc.pt
CMAF, Universidade de Lisboa
P-1649-003 Lisboa
Av. Prof. Gama Pinto 2
Home address:
D-37120 Bovenden
Berliner Str. 43
Telephone:
0551-81080
or
0049-551-81080
Mobile phone:
96-7973901
or
00351-96-7973901
E-mail:
reinhard@kahle.ch
- Proof theory
- Intensionality
- History of logic
- Functional programming
- Logic programming
Diese Seite auf deutsch. Esta página em português. Cette page en français.
Reinhard Kahle