@article{Barendregt97,
  title = {The impact of the lambda calculus in logic and computer science},
  author = {Henk Barendregt},
  year = {1997},
  url = {http://www.math.ucla.edu/~asl/bsl/0302/0302-003.ps},
  tags = {e-science, logic},
  researchr = {https://researchr.org/publication/Barendregt97},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of Symbolic Logic},
  volume = {3},
  number = {2},
  pages = {181-215},
}