13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015): TLCA’15, July 1–3, 2015, Warsaw, Poland
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 Proceedings in Informatics
Volume 38 |
| Schlagworte: | |
| Online-Zugang: | Volltext kostenfrei kostenfrei kostenfrei |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783939897873 |
Internformat
MARC
| LEADER | 00000nmm a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV043994669 | ||
| 003 | DE-604 | ||
| 005 | 20170314 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170112s2015 |||| o||u| ||||||eng d | ||
| 015 | |a 15,O08 |2 dnb | ||
| 016 | 7 | |a 1073651924 |2 DE-101 | |
| 020 | |a 9783939897873 |c Online |9 978-3-939897-87-3 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-51752 |2 urn | |
| 035 | |a (OCoLC)969665635 | ||
| 035 | |a (DE-599)DNB1073651924 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a International Conference on Typed Lambda Calculi and Applications |n 13. |d 2015 |c Warschau |j Verfasser |0 (DE-588)1123215901 |4 aut | |
| 245 | 1 | 0 | |a 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) |b TLCA’15, July 1–3, 2015, Warsaw, Poland |c Edited by Thorsten Altenkirch |
| 246 | 1 | 3 | |a International Conference on Typed Lambda Calculi and Applications (TLCA 2015) |
| 246 | 1 | 3 | |a Thirteenth International Conference on Typed Lambda Calculi and Applications (TLCA 2015) |
| 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 Proceedings in Informatics |v Volume 38 | |
| 650 | 0 | 7 | |a Typisierter Lambda-Kalkül |0 (DE-588)4270792-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Typisierter Lambda-Kalkül |0 (DE-588)4270792-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Altenkirch, Thorsten |4 edt | |
| 830 | 0 | |a LIPIcs - Leibniz International Proceedings in Informatics |v Volume 38 |w (DE-604)BV039164160 |9 38 | |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-51752 |x Resolving-System |3 Volltext |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-51752 |x Resolving-System |z kostenfrei |
| 856 | 4 | 0 | |u http://d-nb.info/1073651924/34 |x Langzeitarchivierung Nationalbibliothek |z kostenfrei |
| 856 | 4 | 0 | |u http://www.dagstuhl.de/dagpub/978-3-939897-87-3 |x Verlag |z kostenfrei |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029402780 | ||
Datensatz im Suchindex
| _version_ | 1804176971512414208 |
|---|---|
| any_adam_object | |
| author2 | Altenkirch, Thorsten |
| author2_role | edt |
| author2_variant | t a ta |
| author_corporate | International Conference on Typed Lambda Calculi and Applications Warschau |
| author_corporate_role | aut |
| author_facet | Altenkirch, Thorsten International Conference on Typed Lambda Calculi and Applications Warschau |
| author_sort | International Conference on Typed Lambda Calculi and Applications Warschau |
| building | Verbundindex |
| bvnumber | BV043994669 |
| classification_tum | DAT 544f |
| collection | ebook |
| ctrlnum | (OCoLC)969665635 (DE-599)DNB1073651924 |
| 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>02264nmm a22005051cb4500</leader><controlfield tag="001">BV043994669</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">170112s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,O08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1073651924</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783939897873</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-939897-87-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-51752</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)969665635</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1073651924</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 544f</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 Typed Lambda Calculi and Applications</subfield><subfield code="n">13.</subfield><subfield code="d">2015</subfield><subfield code="c">Warschau</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1123215901</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)</subfield><subfield code="b">TLCA’15, July 1–3, 2015, Warsaw, Poland</subfield><subfield code="c">Edited by Thorsten Altenkirch</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">International Conference on Typed Lambda Calculi and Applications (TLCA 2015)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Thirteenth International Conference on Typed Lambda Calculi and Applications (TLCA 2015)</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 Proceedings in Informatics</subfield><subfield code="v">Volume 38</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typisierter Lambda-Kalkül</subfield><subfield code="0">(DE-588)4270792-4</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">Typisierter Lambda-Kalkül</subfield><subfield code="0">(DE-588)4270792-4</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">Altenkirch, Thorsten</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">LIPIcs - Leibniz International Proceedings in Informatics</subfield><subfield code="v">Volume 38</subfield><subfield code="w">(DE-604)BV039164160</subfield><subfield code="9">38</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-51752</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-51752</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/1073651924/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-87-3</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-029402780</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043994669 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:40:39Z |
| institution | BVB |
| institution_GND | (DE-588)1123215901 |
| isbn | 9783939897873 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029402780 |
| oclc_num | 969665635 |
| 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 Proceedings in Informatics |
| series2 | LIPIcs - Leibniz International Proceedings in Informatics |
| spelling | International Conference on Typed Lambda Calculi and Applications 13. 2015 Warschau Verfasser (DE-588)1123215901 aut 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland Edited by Thorsten Altenkirch International Conference on Typed Lambda Calculi and Applications (TLCA 2015) Thirteenth International Conference on Typed Lambda Calculi and Applications (TLCA 2015) Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH 2015 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Online-Ressource LIPIcs - Leibniz International Proceedings in Informatics Volume 38 Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Typisierter Lambda-Kalkül (DE-588)4270792-4 s DE-604 Altenkirch, Thorsten edt LIPIcs - Leibniz International Proceedings in Informatics Volume 38 (DE-604)BV039164160 38 https://nbn-resolving.org/urn:nbn:de:0030-drops-51752 Resolving-System Volltext https://nbn-resolving.org/urn:nbn:de:0030-drops-51752 Resolving-System kostenfrei http://d-nb.info/1073651924/34 Langzeitarchivierung Nationalbibliothek kostenfrei http://www.dagstuhl.de/dagpub/978-3-939897-87-3 Verlag kostenfrei |
| spellingShingle | 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland LIPIcs - Leibniz International Proceedings in Informatics Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd |
| subject_GND | (DE-588)4270792-4 (DE-588)1071861417 |
| title | 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland |
| title_alt | International Conference on Typed Lambda Calculi and Applications (TLCA 2015) Thirteenth International Conference on Typed Lambda Calculi and Applications (TLCA 2015) |
| title_auth | 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland |
| title_exact_search | 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland |
| title_full | 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland Edited by Thorsten Altenkirch |
| title_fullStr | 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland Edited by Thorsten Altenkirch |
| title_full_unstemmed | 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland Edited by Thorsten Altenkirch |
| title_short | 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) |
| title_sort | 13th international conference on typed lambda calculi and applications tlca 2015 tlca 15 july 1 3 2015 warsaw poland |
| title_sub | TLCA’15, July 1–3, 2015, Warsaw, Poland |
| topic | Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd |
| topic_facet | Typisierter Lambda-Kalkül Konferenzschrift |
| url | https://nbn-resolving.org/urn:nbn:de:0030-drops-51752 http://d-nb.info/1073651924/34 http://www.dagstuhl.de/dagpub/978-3-939897-87-3 |
| volume_link | (DE-604)BV039164160 |
| work_keys_str_mv | AT internationalconferenceontypedlambdacalculiandapplicationswarschau 13thinternationalconferenceontypedlambdacalculiandapplicationstlca2015tlca15july132015warsawpoland AT altenkirchthorsten 13thinternationalconferenceontypedlambdacalculiandapplicationstlca2015tlca15july132015warsawpoland AT internationalconferenceontypedlambdacalculiandapplicationswarschau internationalconferenceontypedlambdacalculiandapplicationstlca2015 AT altenkirchthorsten internationalconferenceontypedlambdacalculiandapplicationstlca2015 AT internationalconferenceontypedlambdacalculiandapplicationswarschau thirteenthinternationalconferenceontypedlambdacalculiandapplicationstlca2015 AT altenkirchthorsten thirteenthinternationalconferenceontypedlambdacalculiandapplicationstlca2015 |