@inproceedings{Koh09,
  publisher = {College Publications},
  author = {Kohlenbach, Ulrich},
  booktitle = {Proof, Categories and Computation: Papers in honor of Grigori
               Mints' 70th birthday.},
  year = 2010,
  editor = {Feferman, S. and Sieg, W.},
  title = {On the logical analysis of proofs based on nonseparable {H}ilbert
           space theory},
  pages = {131--143},
}