Cumulative Higher-Order Logi as a Foundation for Set

@inproceedings{Degen2007CumulativeHL,
  title={Cumulative Higher-Order Logi as a Foundation for Set},
  author={T. Degen and Jan Johannsen},
  year={2007}
}