@misc{indiciae919d0a4b0f77,
  title = {An extended type system with lambda-typed lambda-expressions (extended version)},
  author = {Matthias Weber},
  year = {2024},
  url = {https://arxiv.org/abs/1803.06488},
  note = {Source identifier: 1803.06488}
}