@misc{indiciae0973a7d57309,
  title = {Partiality and Recursion in Higher-order Logic},
  author = {Łukasz Czajka},
  year = {2013},
  url = {https://arxiv.org/abs/1210.2039},
  note = {Source identifier: 1210.2039}
}