@misc{indiciae852e479fb098,
  title = {Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View},
  author = {Gilles Dowek},
  year = {2023},
  url = {https://arxiv.org/abs/2305.03322},
  note = {Source identifier: 2305.03322}
}