KOLYANG

• Research Interests:
  • Formal Specification Techniques
  • Embeddings in Higher Order Logics
  • Functional Languages
  • Programm Development by Transformation
• Publications
• Contributions to Isabelle
• Special Activities

 
E-mail:  kol@Informatik.Uni-Bremen.DE
Address: KOLYANG
         University of Bremen - FB 3
         P.O. Box 330 440
         D-28334 Bremen
         Germany
Phone:   x49 421 218-4683
Fax:     x49 421 218-3054