@article{Str:94,
  volume = {4},
  year = {1994},
  number = {1},
  author = {T. Streicher},
  title = {A universality theorem for PCF with recursive types, parallel-or and
           $\exists$. },
  pages = {111-115},
}