The Ø-Function in lambda-K-Conversion - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Alan M. Turing. The Ø-Function in lambda-K-Conversion. Journal of Symbolic Logic, 2(4):164, 1937.

@article{Turing37a,
  title = {The Ø-Function in lambda-K-Conversion},
  author = {Alan M. Turing},
  year = {1937},
  researchr = {https://researchr.org/publication/Turing37a},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {2},
  number = {4},
  pages = {164},
}

runs on WebDSL