Semantics of type theory: correctness, completeness and independence results
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston u.a.
Birkhäuser
1991
|
| Schriftenreihe: | Progress in theoretical computer science
|
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. 292 - 295 |
| Beschreibung: | XII, 298 S. |
| ISBN: | 3764335947 0817635947 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005402893 | ||
| 003 | DE-604 | ||
| 005 | 20080801 | ||
| 007 | t | ||
| 008 | 920413s1991 |||| 00||| eng d | ||
| 020 | |a 3764335947 |9 3-7643-3594-7 | ||
| 020 | |a 0817635947 |9 0-8176-3594-7 | ||
| 035 | |a (OCoLC)24175029 | ||
| 035 | |a (DE-599)BVBBV005402893 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-384 |a DE-739 |a DE-20 |a DE-473 |a DE-11 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a DAT 544f |2 stub | ||
| 100 | 1 | |a Streicher, Thomas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Semantics of type theory |b correctness, completeness and independence results |c Thomas Streicher |
| 264 | 1 | |a Boston u.a. |b Birkhäuser |c 1991 | |
| 300 | |a XII, 298 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Progress in theoretical computer science | |
| 500 | |a Literaturverz. S. 292 - 295 | ||
| 650 | 4 | |a Langages de programmation - Sémantique | |
| 650 | 7 | |a Langages de programmation - Sémantique |2 ram | |
| 650 | 7 | |a Langages de programmation fonctionnelle |2 ram | |
| 650 | 4 | |a Programmation fonctionnelle | |
| 650 | 7 | |a Programmation fonctionnelle (informatique) |2 ram | |
| 650 | 7 | |a Types abstraits de données (informatique) |2 ram | |
| 650 | 4 | |a Types, Théorie des | |
| 650 | 7 | |a calcul construction |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a sémantique langage programmation |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 4 | |a Functional programming (Computer science) | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 4 | |a Type theory | |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstruktive Logik |0 (DE-588)4165104-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Typentheorie |0 (DE-588)4121795-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 0 | 1 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 0 | 2 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | 3 | |a Konstruktive Logik |0 (DE-588)4165104-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003382090 | ||
Datensatz im Suchindex
| _version_ | 1804119615382487040 |
|---|---|
| any_adam_object | |
| author | Streicher, Thomas |
| author_facet | Streicher, Thomas |
| author_role | aut |
| author_sort | Streicher, Thomas |
| author_variant | t s ts |
| building | Verbundindex |
| bvnumber | BV005402893 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 ST 140 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)24175029 (DE-599)BVBBV005402893 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02351nam a2200625 c 4500</leader><controlfield tag="001">BV005402893</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080801 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920413s1991 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3764335947</subfield><subfield code="9">3-7643-3594-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0817635947</subfield><subfield code="9">0-8176-3594-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24175029</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005402893</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><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">20</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 140</subfield><subfield code="0">(DE-625)143592:</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">Streicher, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantics of type theory</subfield><subfield code="b">correctness, completeness and independence results</subfield><subfield code="c">Thomas Streicher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston u.a.</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 298 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="0" ind2=" "><subfield code="a">Progress in theoretical computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 292 - 295</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Sémantique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Sémantique</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">Programmation fonctionnelle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation fonctionnelle (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Types abstraits de données (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Types, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul construction</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="7"><subfield code="a">sémantique langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Type theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-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 Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruktive Logik</subfield><subfield code="0">(DE-588)4165104-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Konstruktive Logik</subfield><subfield code="0">(DE-588)4165104-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003382090</subfield></datafield></record></collection> |
| id | DE-604.BV005402893 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:29:00Z |
| institution | BVB |
| isbn | 3764335947 0817635947 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003382090 |
| oclc_num | 24175029 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-473 DE-BY-UBG DE-11 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-473 DE-BY-UBG DE-11 |
| physical | XII, 298 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Birkhäuser |
| record_format | marc |
| series2 | Progress in theoretical computer science |
| spelling | Streicher, Thomas Verfasser aut Semantics of type theory correctness, completeness and independence results Thomas Streicher Boston u.a. Birkhäuser 1991 XII, 298 S. txt rdacontent n rdamedia nc rdacarrier Progress in theoretical computer science Literaturverz. S. 292 - 295 Langages de programmation - Sémantique Langages de programmation - Sémantique ram Langages de programmation fonctionnelle ram Programmation fonctionnelle Programmation fonctionnelle (informatique) ram Types abstraits de données (informatique) ram Types, Théorie des calcul construction inriac programmation fonctionnelle inriac sémantique langage programmation inriac théorie type inriac Functional programming (Computer science) Programming languages (Electronic computers) Semantics Type theory Semantik (DE-588)4054490-4 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf Konstruktive Logik (DE-588)4165104-2 gnd rswk-swf Typentheorie (DE-588)4121795-0 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 s Typentheorie (DE-588)4121795-0 s Semantik (DE-588)4054490-4 s Konstruktive Logik (DE-588)4165104-2 s DE-604 |
| spellingShingle | Streicher, Thomas Semantics of type theory correctness, completeness and independence results Langages de programmation - Sémantique Langages de programmation - Sémantique ram Langages de programmation fonctionnelle ram Programmation fonctionnelle Programmation fonctionnelle (informatique) ram Types abstraits de données (informatique) ram Types, Théorie des calcul construction inriac programmation fonctionnelle inriac sémantique langage programmation inriac théorie type inriac Functional programming (Computer science) Programming languages (Electronic computers) Semantics Type theory Semantik (DE-588)4054490-4 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Konstruktive Logik (DE-588)4165104-2 gnd Typentheorie (DE-588)4121795-0 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4129948-6 (DE-588)4165104-2 (DE-588)4121795-0 |
| title | Semantics of type theory correctness, completeness and independence results |
| title_auth | Semantics of type theory correctness, completeness and independence results |
| title_exact_search | Semantics of type theory correctness, completeness and independence results |
| title_full | Semantics of type theory correctness, completeness and independence results Thomas Streicher |
| title_fullStr | Semantics of type theory correctness, completeness and independence results Thomas Streicher |
| title_full_unstemmed | Semantics of type theory correctness, completeness and independence results Thomas Streicher |
| title_short | Semantics of type theory |
| title_sort | semantics of type theory correctness completeness and independence results |
| title_sub | correctness, completeness and independence results |
| topic | Langages de programmation - Sémantique Langages de programmation - Sémantique ram Langages de programmation fonctionnelle ram Programmation fonctionnelle Programmation fonctionnelle (informatique) ram Types abstraits de données (informatique) ram Types, Théorie des calcul construction inriac programmation fonctionnelle inriac sémantique langage programmation inriac théorie type inriac Functional programming (Computer science) Programming languages (Electronic computers) Semantics Type theory Semantik (DE-588)4054490-4 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Konstruktive Logik (DE-588)4165104-2 gnd Typentheorie (DE-588)4121795-0 gnd |
| topic_facet | Langages de programmation - Sémantique Langages de programmation fonctionnelle Programmation fonctionnelle Programmation fonctionnelle (informatique) Types abstraits de données (informatique) Types, Théorie des calcul construction programmation fonctionnelle sémantique langage programmation théorie type Functional programming (Computer science) Programming languages (Electronic computers) Semantics Type theory Semantik Funktionale Programmiersprache Konstruktive Logik Typentheorie |
| work_keys_str_mv | AT streicherthomas semanticsoftypetheorycorrectnesscompletenessandindependenceresults |