BibTeX record books/el/leeuwen90/Barendregt90

download as .bib file

@incollection{DBLP:books/el/leeuwen90/Barendregt90,
  author    = {Hendrik Pieter Barendregt},
  title     = {Functional Programming and Lambda Calculus},
  booktitle = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models
               and Sematics {(B)}},
  pages     = {321--363},
  publisher = {Elsevier and {MIT} Press},
  year      = {1990}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics