Links

Eindhoven:

• Department of Computing Science and Mathematics
• Eindhoven University of Technology
  

Scientific:

• Wikipedia - free encyclopedia
  

• Jos Baeten
• Henk Barendregt
• Herman Geuvers