Lambda-calculus, combinators, and functional programming:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Pr.
1988
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
4 |
| Schlagworte: | |
| Beschreibung: | X, 181 S. |
| ISBN: | 0521345898 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000837456 | ||
| 003 | DE-604 | ||
| 005 | 20140821 | ||
| 007 | t | ||
| 008 | 881122s1988 |||| 00||| eng d | ||
| 020 | |a 0521345898 |9 0-521-34589-8 | ||
| 035 | |a (OCoLC)17298849 | ||
| 035 | |a (DE-599)BVBBV000837456 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 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 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Revesz, György E. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Lambda-calculus, combinators, and functional programming |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |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 | |
| 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 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 |
| 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 | |5 DE-604 | |
| 689 | 2 | 0 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 689 | 3 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 3 | |8 2\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-000525928 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804115291847786496 |
|---|---|
| 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 | BV000837456 |
| 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 120 ST 130 |
| ctrlnum | (OCoLC)17298849 (DE-599)BVBBV000837456 |
| 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>02499nam a2200685 cb4500</leader><controlfield tag="001">BV000837456</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140821 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">881122s1988 |||| 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)BVBBV000837456</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-12</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 120</subfield><subfield code="0">(DE-625)143585:</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="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></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</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="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">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="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="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">1\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">2\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-000525928</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></record></collection> |
| id | DE-604.BV000837456 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:20:17Z |
| institution | BVB |
| isbn | 0521345898 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000525928 |
| oclc_num | 17298849 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| 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 1. publ. Cambridge Cambridge Univ. Pr. 1988 X, 181 S. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 4 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 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 Lambda-Kalkül (DE-588)4166495-4 s Funktionale Programmierung (DE-588)4198740-8 s DE-604 Kombinatorische Logik (DE-588)4164750-6 s Kombinatorik (DE-588)4031824-2 s 1\p DE-604 Programmierung (DE-588)4076370-5 s 2\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 |
| 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 Kombinatorik (DE-588)4031824-2 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Lambda-Kalkül (DE-588)4166495-4 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4164750-6 (DE-588)4031824-2 (DE-588)4198740-8 (DE-588)4166495-4 |
| 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 |
| title_fullStr | Lambda-calculus, combinators, and functional programming |
| title_full_unstemmed | Lambda-calculus, combinators, and functional programming |
| 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 Kombinatorik (DE-588)4031824-2 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Lambda-Kalkül (DE-588)4166495-4 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 Kombinatorik Funktionale Programmierung Lambda-Kalkül |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT reveszgyorgye lambdacalculuscombinatorsandfunctionalprogramming |