Dr. Christoph Kreitz

From Scholarpedia

Curator of ScholarpediaCurator Index: 1

Jump to: navigation, search

Professor, Institut fuer Informatik, Universitaet Potsdam, Germany

Curator and author

Connection method
(2009) Wolfgang Bibel, Christoph Kreitz

Articles sponsored or reviewed

Computational type theory
(2009) Robert L. Constable

Retrieved from "http://www.scholarpedia.org/w/index.php?title=User:Christoph_Kreitz&oldid=104411"

Personal tools

Log in