Lambda calculus with types

Lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman.

Saved in:
Bibliographic Details
:
ProQuest (Firm)
Barendregt, Henk.
TeilnehmendeR:
Dekkers, Wil.
Statman, Richard.
ProQuest (Firm)
Year of Publication:2013
Language:English
Series:Perspectives in logic
Online Access:
Physical Description:1 online resource (xxii, 833 p.).
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5001303578
ctrlnum (MiAaPQ)5001303578
(Au-PeEL)EBL1303578
(CaPaEBR)ebr10740536
(CaONFJC)MIL508525
(OCoLC)854975198
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01520nam a2200385 a 4500</leader><controlfield tag="001">5001303578</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">130814s2013 enk sb 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521766142</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107273818 (electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5001303578</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL1303578</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10740536</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL508525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)854975198</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.5</subfield><subfield code="b">.B37 2013</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Barendregt, Henk.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Lambda calculus with types</subfield><subfield code="h">[electronic resource]</subfield><subfield code="c">Henk Barendregt, Wil Dekkers, Richard Statman.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge, England :</subfield><subfield code="b">Cambridge University Press ;</subfield><subfield code="a">Ithaca, N.Y. :</subfield><subfield code="b">Association for Symbolic Logic,</subfield><subfield code="c">c2013.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxii, 833 p.).</subfield></datafield><datafield tag="440" ind1=" " ind2="0"><subfield code="a">Perspectives in logic</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on online resource; title from title page (ebrary, viewed August 14, 2013).</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Lambda calculus.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dekkers, Wil.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Statman, Richard.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1303578</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Barendregt, Henk.
Lambda calculus with types [electronic resource] Henk Barendregt, Wil Dekkers, Richard Statman.
Cambridge, England : Cambridge University Press ; Ithaca, N.Y. : Association for Symbolic Logic, c2013.
1 online resource (xxii, 833 p.).
Perspectives in logic
Includes bibliographical references and indexes.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Description based on online resource; title from title page (ebrary, viewed August 14, 2013).
Lambda calculus.
Electronic books.
Dekkers, Wil.
Statman, Richard.
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1303578 Click to View
language English
format Electronic
eBook
author Barendregt, Henk.
spellingShingle Barendregt, Henk.
Lambda calculus with types
author_facet Barendregt, Henk.
Dekkers, Wil.
Statman, Richard.
ProQuest (Firm)
ProQuest (Firm)
author_variant h b hb
author2 Dekkers, Wil.
Statman, Richard.
ProQuest (Firm)
author2_variant w d wd
r s rs
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Barendregt, Henk.
title Lambda calculus with types
title_full Lambda calculus with types [electronic resource] Henk Barendregt, Wil Dekkers, Richard Statman.
title_fullStr Lambda calculus with types [electronic resource] Henk Barendregt, Wil Dekkers, Richard Statman.
title_full_unstemmed Lambda calculus with types [electronic resource] Henk Barendregt, Wil Dekkers, Richard Statman.
title_auth Lambda calculus with types
title_new Lambda calculus with types
title_sort lambda calculus with types
publisher Cambridge University Press ; Association for Symbolic Logic,
publishDate 2013
physical 1 online resource (xxii, 833 p.).
isbn 9781107273818 (electronic bk.)
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.5 B37 42013
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1303578
illustrated Not Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.3
dewey-sort 3511.3
dewey-raw 511.3
dewey-search 511.3
oclc_num 854975198
work_keys_str_mv AT barendregthenk lambdacalculuswithtypes
AT dekkerswil lambdacalculuswithtypes
AT statmanrichard lambdacalculuswithtypes
AT proquestfirm lambdacalculuswithtypes
status_str n
ids_txt_mv (MiAaPQ)5001303578
(Au-PeEL)EBL1303578
(CaPaEBR)ebr10740536
(CaONFJC)MIL508525
(OCoLC)854975198
is_hierarchy_title Lambda calculus with types
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
_version_ 1792330753501036544

Similar Items