Reinhard Kahle

• Address
• Publications
• Lecture courses
• Conferences
• Research interests
• Maps and directions

  ---

• ASL Typesetting Office

  ---

• Web pages of interest for me.

Address:

CENTRIA, Universidade Nova de Lisboa, Departamento de Informática
Room 2.52 Building II
P-2829-516 Caparica
Telephone (Office of the department): 21-2948536 or 00351-21-2948536 please ask for extension 10756.
Fax: 21-2948541 or 00351-21-2948541
E-mail: kahle@fct.unl.pt

Universität Tübingen, WSI
D-72076 Tübingen
Sand 13
E-mail: kahle@informatik.uni-tuebingen.de

Mobile phone: 96-7973901 or 00351-96-7973901

E-mail: reinhard@kahle.ch

Research interests

• Proof theory
• Logic programming
• Functional programming
• Intensionality
• History of logic

Maps and directions

• Tübingen
  • City map
  • Directions to the WSI
• Bovenden
  • Map
• Göttingen
  • City map