The Parametric Lambda Calculus: A Metamodel for Computation
The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambd...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2004
|
| Ausgabe: | 1st ed. 2004 |
| Schriftenreihe: | Texts in Theoretical Computer Science. An EATCS Series
|
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational. This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science |
| Beschreibung: | 1 Online-Ressource (XIV, 248 p) |
| ISBN: | 9783662103944 |
| DOI: | 10.1007/978-3-662-10394-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047063974 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662103944 |9 978-3-662-10394-4 | ||
| 024 | 7 | |a 10.1007/978-3-662-10394-4 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-3-662-10394-4 | ||
| 035 | |a (OCoLC)1227480589 | ||
| 035 | |a (DE-599)BVBBV047063974 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Ronchi Della Rocca, Simona |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The Parametric Lambda Calculus |b A Metamodel for Computation |c by Simona Ronchi Della Rocca, Luca Paolini |
| 250 | |a 1st ed. 2004 | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2004 | |
| 300 | |a 1 Online-Ressource (XIV, 248 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Texts in Theoretical Computer Science. An EATCS Series | |
| 520 | |a The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational. This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science | ||
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Operationale Semantik |0 (DE-588)4221249-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Delta-Kalkül |0 (DE-588)4488077-7 |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 Parametrisierung |0 (DE-588)4402701-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Semantik |0 (DE-588)4194483-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 0 | 1 | |a Parametrisierung |0 (DE-588)4402701-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 1 | 1 | |a Operationale Semantik |0 (DE-588)4221249-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 2 | 1 | |a Delta-Kalkül |0 (DE-588)4488077-7 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 3 | 1 | |a Funktionale Semantik |0 (DE-588)4194483-5 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Paolini, Luca |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783642057465 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783540200321 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783662103951 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-10394-4 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471086 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-662-10394-4 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182061403078656 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Ronchi Della Rocca, Simona Paolini, Luca |
| author_facet | Ronchi Della Rocca, Simona Paolini, Luca |
| author_role | aut aut |
| author_sort | Ronchi Della Rocca, Simona |
| author_variant | d r s r drs drsr l p lp |
| building | Verbundindex |
| bvnumber | BV047063974 |
| classification_rvk | ST 130 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-3-662-10394-4 (OCoLC)1227480589 (DE-599)BVBBV047063974 |
| 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 |
| discipline_str_mv | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-662-10394-4 |
| edition | 1st ed. 2004 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04158nmm a2200769zc 4500</leader><controlfield tag="001">BV047063974</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662103944</subfield><subfield code="9">978-3-662-10394-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-10394-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-662-10394-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227480589</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047063974</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</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">Ronchi Della Rocca, Simona</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Parametric Lambda Calculus</subfield><subfield code="b">A Metamodel for Computation</subfield><subfield code="c">by Simona Ronchi Della Rocca, Luca Paolini</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2004</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 248 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Texts in Theoretical Computer Science. An EATCS Series</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational. This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Operationale Semantik</subfield><subfield code="0">(DE-588)4221249-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Delta-Kalkül</subfield><subfield code="0">(DE-588)4488077-7</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">Parametrisierung</subfield><subfield code="0">(DE-588)4402701-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Semantik</subfield><subfield code="0">(DE-588)4194483-5</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">Parametrisierung</subfield><subfield code="0">(DE-588)4402701-1</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">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Operationale Semantik</subfield><subfield code="0">(DE-588)4221249-2</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">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Delta-Kalkül</subfield><subfield code="0">(DE-588)4488077-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2="1"><subfield code="a">Funktionale Semantik</subfield><subfield code="0">(DE-588)4194483-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Paolini, Luca</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783642057465</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783540200321</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783662103951</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-10394-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471086</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-10394-4</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047063974 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:21Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9783662103944 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471086 |
| oclc_num | 1227480589 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XIV, 248 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Texts in Theoretical Computer Science. An EATCS Series |
| spelling | Ronchi Della Rocca, Simona Verfasser aut The Parametric Lambda Calculus A Metamodel for Computation by Simona Ronchi Della Rocca, Luca Paolini 1st ed. 2004 Berlin, Heidelberg Springer Berlin Heidelberg 2004 1 Online-Ressource (XIV, 248 p) txt rdacontent c rdamedia cr rdacarrier Texts in Theoretical Computer Science. An EATCS Series The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational. This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science Mathematical Logic and Foundations Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Computation by Abstract Devices Logics and Meanings of Programs Artificial Intelligence Mathematical logic Programming languages (Electronic computers) Computers Computer logic Artificial intelligence Operationale Semantik (DE-588)4221249-2 gnd rswk-swf Delta-Kalkül (DE-588)4488077-7 gnd rswk-swf Lambda-Kalkül (DE-588)4166495-4 gnd rswk-swf Parametrisierung (DE-588)4402701-1 gnd rswk-swf Funktionale Semantik (DE-588)4194483-5 gnd rswk-swf Lambda-Kalkül (DE-588)4166495-4 s Parametrisierung (DE-588)4402701-1 s DE-604 Operationale Semantik (DE-588)4221249-2 s Delta-Kalkül (DE-588)4488077-7 s Funktionale Semantik (DE-588)4194483-5 s Paolini, Luca aut Erscheint auch als Druck-Ausgabe 9783642057465 Erscheint auch als Druck-Ausgabe 9783540200321 Erscheint auch als Druck-Ausgabe 9783662103951 https://doi.org/10.1007/978-3-662-10394-4 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Ronchi Della Rocca, Simona Paolini, Luca The Parametric Lambda Calculus A Metamodel for Computation Mathematical Logic and Foundations Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Computation by Abstract Devices Logics and Meanings of Programs Artificial Intelligence Mathematical logic Programming languages (Electronic computers) Computers Computer logic Artificial intelligence Operationale Semantik (DE-588)4221249-2 gnd Delta-Kalkül (DE-588)4488077-7 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Parametrisierung (DE-588)4402701-1 gnd Funktionale Semantik (DE-588)4194483-5 gnd |
| subject_GND | (DE-588)4221249-2 (DE-588)4488077-7 (DE-588)4166495-4 (DE-588)4402701-1 (DE-588)4194483-5 |
| title | The Parametric Lambda Calculus A Metamodel for Computation |
| title_auth | The Parametric Lambda Calculus A Metamodel for Computation |
| title_exact_search | The Parametric Lambda Calculus A Metamodel for Computation |
| title_exact_search_txtP | The Parametric Lambda Calculus A Metamodel for Computation |
| title_full | The Parametric Lambda Calculus A Metamodel for Computation by Simona Ronchi Della Rocca, Luca Paolini |
| title_fullStr | The Parametric Lambda Calculus A Metamodel for Computation by Simona Ronchi Della Rocca, Luca Paolini |
| title_full_unstemmed | The Parametric Lambda Calculus A Metamodel for Computation by Simona Ronchi Della Rocca, Luca Paolini |
| title_short | The Parametric Lambda Calculus |
| title_sort | the parametric lambda calculus a metamodel for computation |
| title_sub | A Metamodel for Computation |
| topic | Mathematical Logic and Foundations Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Computation by Abstract Devices Logics and Meanings of Programs Artificial Intelligence Mathematical logic Programming languages (Electronic computers) Computers Computer logic Artificial intelligence Operationale Semantik (DE-588)4221249-2 gnd Delta-Kalkül (DE-588)4488077-7 gnd Lambda-Kalkül (DE-588)4166495-4 gnd Parametrisierung (DE-588)4402701-1 gnd Funktionale Semantik (DE-588)4194483-5 gnd |
| topic_facet | Mathematical Logic and Foundations Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Computation by Abstract Devices Logics and Meanings of Programs Artificial Intelligence Mathematical logic Programming languages (Electronic computers) Computers Computer logic Artificial intelligence Operationale Semantik Delta-Kalkül Lambda-Kalkül Parametrisierung Funktionale Semantik |
| url | https://doi.org/10.1007/978-3-662-10394-4 |
| work_keys_str_mv | AT ronchidellaroccasimona theparametriclambdacalculusametamodelforcomputation AT paoliniluca theparametriclambdacalculusametamodelforcomputation |