@misc{W1996404651,
  author = {Alonzo Church},
  title = {A formulation of the simple theory of types},
  year = {1940},
  howpublished = {Journal of Symbolic Logic},
  doi = {https://doi.org/10.2307/2266170}
}