Weak Systems of Set Theory Related to HOL

Thomas Forster. Weak Systems of Set Theory Related to HOL. In Thomas F. Melham, Juanito Camilleri, editors, Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Volume 859 of Lecture Notes in Computer Science, pages 193-204, Springer, 1994.

@inproceedings{Forster94,
  title = {Weak Systems of Set Theory Related to HOL},
  author = {Thomas Forster},
  year = {1994},
  researchr = {https://researchr.org/publication/Forster94},
  cites = {0},
  citedby = {0},
  pages = {193-204},
  booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
  editor = {Thomas F. Melham and Juanito Camilleri},
  volume = {859},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58450-1},
}