%0 Journal Article %1 Barendregt92lambdacalculi %A Barendregt, Henk %A Abramsky, S. %A Gabbay, D. M. %A Maibaum, T. S. E. %A Barendregt, H. P. %B Handbook of Logic in Computer Science %D 1992 %I Oxford University Press %K calculus lambda %P 117--309 %T Lambda Calculi with Types %U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4391 %X -

@article{Barendregt92lambdacalculi, abstract = {-}, added-at = {2014-11-23T03:26:08.000+0100}, author = {Barendregt, Henk and Abramsky, S. and Gabbay, D. M. and Maibaum, T. S. E. and Barendregt, H. P.}, biburl = {https://www.bibsonomy.org/bibtex/225d5f957941866685798b48257bce93e/t.uemura}, booktitle = {Handbook of Logic in Computer Science}, description = {Lambda Calculi with Types}, interhash = {9d58a7843aa38dcede40ca0baaafde98}, intrahash = {25d5f957941866685798b48257bce93e}, keywords = {calculus lambda}, pages = {117--309}, publisher = {Oxford University Press}, timestamp = {2014-11-23T03:26:08.000+0100}, title = {Lambda Calculi with Types}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4391}, year = 1992 }