Inge Bethke

Address:
Programming Research Group
Faculty of Science
University of Amsterdam
Room N230
Kruislaan 403
NL-1098 SJ Amsterdam
The Netherlands

Phone:
(+31) 20 525 7583
(+31) 20 525 7462 (sec.)

Fax:
(+31) 20 525 7490

Email:
inge@science.uva.nl

WWW:
http://www.science.uva.nl/~inge/

• Selected publications
• Term Rewriting Systems: A monograph of 890 pages has now been completed by a group of authors (including myself) under the collective name Terese. This book contains 16 chapters ranging from the classical term rewriting subjects to some advanced and even tentative topics.
• Programma-Algebra, een Inleiding tot de Programmatuur (in Dutch)
• Annotated Bibliography of Lambda Calculi, Combinatory Logics and Type Theory
• The Journal of Logic and Algebraic Programming
  • special issue on Process Theory for Hybrid Systems (deadline for submissions: November 1, 2004)
• Teaching 2004 - 2005 (in Dutch)
  • Programmatuur
  • Specificatietheorie
  • Webklas Informatica
• Projects
  • PGA - ProGram Algebra

  ---

  To Programming Research Group

  Last modified: Tuesday, 01-Feb-2005 09:38:38 MET
  Maintained by: Inge Bethke