@misc{indiciaeaf65591b9b85,
  title = {Lecture notes on the lambda calculus},
  author = {Peter Selinger},
  year = {2013},
  url = {https://arxiv.org/abs/0804.3434},
  note = {Source identifier: 0804.3434}
}