Article,
Lambda Calculi with Types
H. Barendregt, S. Abramsky, D. Gabbay, T. Maibaum, and H. Barendregt.(1992)
Abstract
-
- BibTeX key
- Barendregt92lambdacalculi
- entry type
- article
- booktitle
- Handbook of Logic in Computer Science
- year
- 1992
- pages
- 117--309
- publisher
- Oxford University Press
- url
- http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4391
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}