Dr. Christoph Kreitz

From Scholarpedia

Curator of Scholarpedia

Professor, Institut fuer Informatik, Universitaet Potsdam, Germany

Author of:
Connection method
Suggested an author for:
Computational type theory

(There is currently no text in this page)

Retrieved from "http://www.scholarpedia.org/article/User:Kreitz"
For authors