20th International Conference on Types for Proofs and Programs (TYPES 2014): TYPES’14, May 12–15, 2014, Paris, France
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Wadern
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
2015
|
| Schriftenreihe: | LIPIcs - Leibniz International Proceeding in Informatics
Volume 39 |
| Schlagworte: | |
| Online-Zugang: | Volltext kostenfrei kostenfrei kostenfrei |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783939897880 |
Internformat
MARC
| LEADER | 00000nmm a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV043994304 | ||
| 003 | DE-604 | ||
| 005 | 20170314 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170111s2015 |||| o||u| ||||||eng d | ||
| 015 | |a 15,O11 |2 dnb | ||
| 016 | 7 | |a 1077622732 |2 DE-101 | |
| 020 | |a 9783939897880 |c Online |9 978-3-939897-88-0 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-55047 |2 urn | |
| 035 | |a (OCoLC)969589936 | ||
| 035 | |a (DE-599)DNB1077622732 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a International Conference on Types for Proofs and Programs |n 20. |d 2014 |c Paris |j Verfasser |0 (DE-588)1123172412 |4 aut | |
| 245 | 1 | 0 | |a 20th International Conference on Types for Proofs and Programs (TYPES 2014) |b TYPES’14, May 12–15, 2014, Paris, France |c Edited by Hugo Herbeli, Pierre Letouzey, Matthieu Sozeau |
| 246 | 1 | 3 | |a International Conference on Types for Proofs and Programs (TYPES 2014) |
| 246 | 1 | 3 | |a Twentieth International Conference on Types for Proofs and Programs (TYPES 2014) |
| 264 | 1 | |a Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |c 2015 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 340 | |a Online-Ressource | ||
| 490 | 1 | |a LIPIcs - Leibniz International Proceeding in Informatics |v Volume 39 | |
| 650 | 0 | 7 | |a Typentheorie |0 (DE-588)4121795-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Herbelin, Hugo |4 edt | |
| 700 | 1 | |a Letouzey, Pierre |4 edt | |
| 700 | 1 | |a Sozeau, Matthieu |4 edt | |
| 830 | 0 | |a LIPIcs - Leibniz International Proceeding in Informatics |v Volume 39 |w (DE-604)BV039164160 |9 39 | |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-55047 |x Resolving-System |3 Volltext |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-55047 |x Resolving-System |z kostenfrei |
| 856 | 4 | 0 | |u http://d-nb.info/1077622732/34 |x Langzeitarchivierung Nationalbibliothek |z kostenfrei |
| 856 | 4 | 0 | |u http://www.dagstuhl.de/dagpub/978-3-939897-88-0 |x Verlag |z kostenfrei |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029402425 | ||
Datensatz im Suchindex
| _version_ | 1804176970902142976 |
|---|---|
| any_adam_object | |
| author2 | Herbelin, Hugo Letouzey, Pierre Sozeau, Matthieu |
| author2_role | edt edt edt |
| author2_variant | h h hh p l pl m s ms |
| author_corporate | International Conference on Types for Proofs and Programs Paris |
| author_corporate_role | aut |
| author_facet | Herbelin, Hugo Letouzey, Pierre Sozeau, Matthieu International Conference on Types for Proofs and Programs Paris |
| author_sort | International Conference on Types for Proofs and Programs Paris |
| building | Verbundindex |
| bvnumber | BV043994304 |
| classification_tum | DAT 510f |
| collection | ebook |
| ctrlnum | (OCoLC)969589936 (DE-599)DNB1077622732 |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02299nmm a22005291cb4500</leader><controlfield tag="001">BV043994304</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170314 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170111s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,O11</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1077622732</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783939897880</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-939897-88-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-55047</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)969589936</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1077622732</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Types for Proofs and Programs</subfield><subfield code="n">20.</subfield><subfield code="d">2014</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1123172412</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">20th International Conference on Types for Proofs and Programs (TYPES 2014)</subfield><subfield code="b">TYPES’14, May 12–15, 2014, Paris, France</subfield><subfield code="c">Edited by Hugo Herbeli, Pierre Letouzey, Matthieu Sozeau</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">International Conference on Types for Proofs and Programs (TYPES 2014)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Twentieth International Conference on Types for Proofs and Programs (TYPES 2014)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wadern</subfield><subfield code="b">Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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="340" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">LIPIcs - Leibniz International Proceeding in Informatics</subfield><subfield code="v">Volume 39</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Herbelin, Hugo</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Letouzey, Pierre</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sozeau, Matthieu</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">LIPIcs - Leibniz International Proceeding in Informatics</subfield><subfield code="v">Volume 39</subfield><subfield code="w">(DE-604)BV039164160</subfield><subfield code="9">39</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-55047</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-55047</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://d-nb.info/1077622732/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.dagstuhl.de/dagpub/978-3-939897-88-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029402425</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043994304 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:40:39Z |
| institution | BVB |
| institution_GND | (DE-588)1123172412 |
| isbn | 9783939897880 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029402425 |
| oclc_num | 969589936 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ebook |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |
| record_format | marc |
| series | LIPIcs - Leibniz International Proceeding in Informatics |
| series2 | LIPIcs - Leibniz International Proceeding in Informatics |
| spelling | International Conference on Types for Proofs and Programs 20. 2014 Paris Verfasser (DE-588)1123172412 aut 20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France Edited by Hugo Herbeli, Pierre Letouzey, Matthieu Sozeau International Conference on Types for Proofs and Programs (TYPES 2014) Twentieth International Conference on Types for Proofs and Programs (TYPES 2014) Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH 2015 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Online-Ressource LIPIcs - Leibniz International Proceeding in Informatics Volume 39 Typentheorie (DE-588)4121795-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Typentheorie (DE-588)4121795-0 s DE-604 Herbelin, Hugo edt Letouzey, Pierre edt Sozeau, Matthieu edt LIPIcs - Leibniz International Proceeding in Informatics Volume 39 (DE-604)BV039164160 39 https://nbn-resolving.org/urn:nbn:de:0030-drops-55047 Resolving-System Volltext https://nbn-resolving.org/urn:nbn:de:0030-drops-55047 Resolving-System kostenfrei http://d-nb.info/1077622732/34 Langzeitarchivierung Nationalbibliothek kostenfrei http://www.dagstuhl.de/dagpub/978-3-939897-88-0 Verlag kostenfrei |
| spellingShingle | 20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France LIPIcs - Leibniz International Proceeding in Informatics Typentheorie (DE-588)4121795-0 gnd |
| subject_GND | (DE-588)4121795-0 (DE-588)1071861417 |
| title | 20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France |
| title_alt | International Conference on Types for Proofs and Programs (TYPES 2014) Twentieth International Conference on Types for Proofs and Programs (TYPES 2014) |
| title_auth | 20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France |
| title_exact_search | 20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France |
| title_full | 20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France Edited by Hugo Herbeli, Pierre Letouzey, Matthieu Sozeau |
| title_fullStr | 20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France Edited by Hugo Herbeli, Pierre Letouzey, Matthieu Sozeau |
| title_full_unstemmed | 20th International Conference on Types for Proofs and Programs (TYPES 2014) TYPES’14, May 12–15, 2014, Paris, France Edited by Hugo Herbeli, Pierre Letouzey, Matthieu Sozeau |
| title_short | 20th International Conference on Types for Proofs and Programs (TYPES 2014) |
| title_sort | 20th international conference on types for proofs and programs types 2014 types 14 may 12 15 2014 paris france |
| title_sub | TYPES’14, May 12–15, 2014, Paris, France |
| topic | Typentheorie (DE-588)4121795-0 gnd |
| topic_facet | Typentheorie Konferenzschrift |
| url | https://nbn-resolving.org/urn:nbn:de:0030-drops-55047 http://d-nb.info/1077622732/34 http://www.dagstuhl.de/dagpub/978-3-939897-88-0 |
| volume_link | (DE-604)BV039164160 |
| work_keys_str_mv | AT internationalconferenceontypesforproofsandprogramsparis 20thinternationalconferenceontypesforproofsandprogramstypes2014types14may12152014parisfrance AT herbelinhugo 20thinternationalconferenceontypesforproofsandprogramstypes2014types14may12152014parisfrance AT letouzeypierre 20thinternationalconferenceontypesforproofsandprogramstypes2014types14may12152014parisfrance AT sozeaumatthieu 20thinternationalconferenceontypesforproofsandprogramstypes2014types14may12152014parisfrance AT internationalconferenceontypesforproofsandprogramsparis internationalconferenceontypesforproofsandprogramstypes2014 AT herbelinhugo internationalconferenceontypesforproofsandprogramstypes2014 AT letouzeypierre internationalconferenceontypesforproofsandprogramstypes2014 AT sozeaumatthieu internationalconferenceontypesforproofsandprogramstypes2014 AT internationalconferenceontypesforproofsandprogramsparis twentiethinternationalconferenceontypesforproofsandprogramstypes2014 AT herbelinhugo twentiethinternationalconferenceontypesforproofsandprogramstypes2014 AT letouzeypierre twentiethinternationalconferenceontypesforproofsandprogramstypes2014 AT sozeaumatthieu twentiethinternationalconferenceontypesforproofsandprogramstypes2014 |