Lambda-calculus, combinators, and functional programming:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Pr.
1989
|
| Ausgabe: | Repr. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
4 |
| Schlagworte: | |
| Beschreibung: | X, 181 S. |
| ISBN: | 0521345898 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004726900 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 920227s1988 |||| 00||| eng d | ||
| 020 | |a 0521345898 |9 0-521-34589-8 | ||
| 035 | |a (OCoLC)17298849 | ||
| 035 | |a (DE-599)BVBBV004726900 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-11 | ||
| 050 | 0 | |a QA9.5 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 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 Repr. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Pr. |c 1989 | |
| 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 | |
| 650 | 4 | |a Lambda calculus - For computer sciences | |
| 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 Kombinatorik |0 (DE-588)4031824-2 |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 Lambda-Kalkül |0 (DE-588)4166495-4 |2 gnd |9 rswk-swf |
| 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 |
| 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-002906386 | ||
| 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_ | 1804118845113237504 |
|---|---|
| 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 | BV004726900 |
| 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 | ST 120 |
| ctrlnum | (OCoLC)17298849 (DE-599)BVBBV004726900 |
| 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 | Repr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02579nam a2200685 cb4500</leader><controlfield tag="001">BV004726900</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920227s1988 |||| 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="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17298849</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004726900</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-19</subfield><subfield code="a">DE-11</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">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</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">Repr.</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">1989</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="650" ind1=" " ind2="4"><subfield code="a">Lambda calculus - For computer sciences</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">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</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">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">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="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-002906386</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.BV004726900 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:16:46Z |
| institution | BVB |
| isbn | 0521345898 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002906386 |
| oclc_num | 17298849 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-11 |
| physical | X, 181 S. |
| publishDate | 1989 |
| 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 Repr. Cambridge u.a. Cambridge Univ. Pr. 1989 X, 181 S. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 4 Lambda calculus - For computer sciences 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 Kombinatorik (DE-588)4031824-2 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Lambda-Kalkül (DE-588)4166495-4 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Kombinatorische Logik (DE-588)4164750-6 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 calculus - For computer sciences 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 Kombinatorik (DE-588)4031824-2 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Programmierung (DE-588)4076370-5 gnd Kombinatorische Logik (DE-588)4164750-6 gnd |
| subject_GND | (DE-588)4031824-2 (DE-588)4198740-8 (DE-588)4166495-4 (DE-588)4076370-5 (DE-588)4164750-6 |
| 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 calculus - For computer sciences 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 Kombinatorik (DE-588)4031824-2 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Programmierung (DE-588)4076370-5 gnd Kombinatorische Logik (DE-588)4164750-6 gnd |
| topic_facet | Lambda calculus - For computer sciences Lambda-calcul Langages de programmation fonctionnelle Langages de programmation fonctionnels Logique combinatoire lambda calcul programmation fonctionnelle Combinatory logic Functional programming languages Lambda calculus Kombinatorik Funktionale Programmierung Lambda-Kalkül Programmierung Kombinatorische Logik |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT reveszgyorgye lambdacalculuscombinatorsandfunctionalprogramming |