Lambda-calculus, combinators, and functional programming:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Pr.
1988
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
4. |
| Schlagworte: | |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Beschreibung: | X, 181 S. |
| ISBN: | 0521345898 9780521345897 9780521114295 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002134918 | ||
| 003 | DE-604 | ||
| 005 | 20170116 | ||
| 007 | t | ||
| 008 | 890928s1988 |||| 00||| eng d | ||
| 020 | |a 0521345898 |9 0-521-34589-8 | ||
| 020 | |a 9780521345897 |c Hardback |9 978-0-521-34589-7 | ||
| 020 | |a 9780521114295 |c Paperback |9 978-0-521-11429-5 | ||
| 035 | |a (OCoLC)17298849 | ||
| 035 | |a (DE-599)BVBBV002134918 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-29T |a DE-739 |a DE-19 |a DE-706 |a DE-83 |a DE-188 |a DE-M347 | ||
| 050 | 0 | |a QA9.5 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 544f |2 stub | ||
| 100 | 1 | |a Revesz, György E. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Lambda-calculus, combinators, and functional programming |c G. E. Revesz |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Pr. |c 1988 | |
| 300 | |a X, 181 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 4. | |
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 4 | |a Lambda-calcul | |
| 650 | 7 | |a Lambda-calcul |2 ram | |
| 650 | 7 | |a Langages de programmation fonctionnelle |2 ram | |
| 650 | 4 | |a Langages de programmation fonctionnels | |
| 650 | 4 | |a Logique combinatoire | |
| 650 | 7 | |a Logique combinatoire |2 ram | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 4 | |a Combinatory logic | |
| 650 | 4 | |a Functional programming languages | |
| 650 | 4 | |a Lambda calculus | |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kombinatorische Logik |0 (DE-588)4164750-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kombinatorik |0 (DE-588)4031824-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 0 | 1 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kombinatorische Logik |0 (DE-588)4164750-6 |D s |
| 689 | 1 | 1 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 689 | 3 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 3 | |8 3\p |5 DE-604 | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 4. |w (DE-604)BV000754528 |9 4. | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001400013 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804116588968804352 |
|---|---|
| any_adam_object | |
| author | Revesz, György E. |
| author_facet | Revesz, György E. |
| author_role | aut |
| author_sort | Revesz, György E. |
| author_variant | g e r ge ger |
| building | Verbundindex |
| bvnumber | BV002134918 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.5 |
| callnumber-search | QA9.5 |
| callnumber-sort | QA 19.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 ST 130 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)17298849 (DE-599)BVBBV002134918 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02853nam a2200733 cb4500</leader><controlfield tag="001">BV002134918</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170116 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1988 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521345898</subfield><subfield code="9">0-521-34589-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521345897</subfield><subfield code="c">Hardback</subfield><subfield code="9">978-0-521-34589-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521114295</subfield><subfield code="c">Paperback</subfield><subfield code="9">978-0-521-11429-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17298849</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002134918</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-M347</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Revesz, György E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Lambda-calculus, combinators, and functional programming</subfield><subfield code="c">G. E. Revesz</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Pr.</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 181 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">4.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lambda-calcul</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lambda-calcul</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation fonctionnelle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation fonctionnels</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique combinatoire</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique combinatoire</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatory logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lambda calculus</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kombinatorische Logik</subfield><subfield code="0">(DE-588)4164750-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kombinatorische Logik</subfield><subfield code="0">(DE-588)4164750-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">4.</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">4.</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001400013</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV002134918 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:40:54Z |
| institution | BVB |
| isbn | 0521345898 9780521345897 9780521114295 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001400013 |
| oclc_num | 17298849 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-29T DE-739 DE-19 DE-BY-UBM DE-706 DE-83 DE-188 DE-M347 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-29T DE-739 DE-19 DE-BY-UBM DE-706 DE-83 DE-188 DE-M347 |
| physical | X, 181 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Cambridge Univ. Pr. |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Revesz, György E. Verfasser aut Lambda-calculus, combinators, and functional programming G. E. Revesz 1. publ. Cambridge u.a. Cambridge Univ. Pr. 1988 X, 181 S. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 4. Hier auch später erschienene, unveränderte Nachdrucke Lambda-calcul Lambda-calcul ram Langages de programmation fonctionnelle ram Langages de programmation fonctionnels Logique combinatoire Logique combinatoire ram lambda calcul inriac programmation fonctionnelle inriac Combinatory logic Functional programming languages Lambda calculus Programmierung (DE-588)4076370-5 gnd rswk-swf Kombinatorische Logik (DE-588)4164750-6 gnd rswk-swf Lambda-Kalkül (DE-588)4166495-4 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Kombinatorik (DE-588)4031824-2 gnd rswk-swf Lambda-Kalkül (DE-588)4166495-4 s Funktionale Programmierung (DE-588)4198740-8 s DE-604 Kombinatorische Logik (DE-588)4164750-6 s 1\p DE-604 Kombinatorik (DE-588)4031824-2 s 2\p DE-604 Programmierung (DE-588)4076370-5 s 3\p DE-604 Cambridge tracts in theoretical computer science 4. (DE-604)BV000754528 4. 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Revesz, György E. Lambda-calculus, combinators, and functional programming Cambridge tracts in theoretical computer science Lambda-calcul Lambda-calcul ram Langages de programmation fonctionnelle ram Langages de programmation fonctionnels Logique combinatoire Logique combinatoire ram lambda calcul inriac programmation fonctionnelle inriac Combinatory logic Functional programming languages Lambda calculus Programmierung (DE-588)4076370-5 gnd Kombinatorische Logik (DE-588)4164750-6 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Kombinatorik (DE-588)4031824-2 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4164750-6 (DE-588)4166495-4 (DE-588)4198740-8 (DE-588)4031824-2 |
| title | Lambda-calculus, combinators, and functional programming |
| title_auth | Lambda-calculus, combinators, and functional programming |
| title_exact_search | Lambda-calculus, combinators, and functional programming |
| title_full | Lambda-calculus, combinators, and functional programming G. E. Revesz |
| title_fullStr | Lambda-calculus, combinators, and functional programming G. E. Revesz |
| title_full_unstemmed | Lambda-calculus, combinators, and functional programming G. E. Revesz |
| title_short | Lambda-calculus, combinators, and functional programming |
| title_sort | lambda calculus combinators and functional programming |
| topic | Lambda-calcul Lambda-calcul ram Langages de programmation fonctionnelle ram Langages de programmation fonctionnels Logique combinatoire Logique combinatoire ram lambda calcul inriac programmation fonctionnelle inriac Combinatory logic Functional programming languages Lambda calculus Programmierung (DE-588)4076370-5 gnd Kombinatorische Logik (DE-588)4164750-6 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Kombinatorik (DE-588)4031824-2 gnd |
| topic_facet | Lambda-calcul Langages de programmation fonctionnelle Langages de programmation fonctionnels Logique combinatoire lambda calcul programmation fonctionnelle Combinatory logic Functional programming languages Lambda calculus Programmierung Kombinatorische Logik Lambda-Kalkül Funktionale Programmierung Kombinatorik |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT reveszgyorgye lambdacalculuscombinatorsandfunctionalprogramming |