Typed lambda calculi and applications: 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6690 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 244 S. graph. Darst. 24 cm |
| ISBN: | 9783642216909 3642216900 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039102366 | ||
| 003 | DE-604 | ||
| 005 | 20110804 | ||
| 007 | t| | ||
| 008 | 110627s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N21 |2 dnb | ||
| 015 | |a 11,A24 |2 dnb | ||
| 016 | 7 | |a 1011731312 |2 DE-101 | |
| 020 | |a 9783642216909 |c kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 978-3-642-21690-9 | ||
| 020 | |a 3642216900 |9 3-642-21690-0 | ||
| 024 | 3 | |a 9783642216909 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80064345 |
| 035 | |a (OCoLC)734093884 | ||
| 035 | |a (DE-599)DNB1011731312 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 544f |2 stub | ||
| 245 | 1 | 0 | |a Typed lambda calculi and applications |b 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings |c Luke Ong (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XII, 244 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6690 : Advanced research in computing and software science | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Typisierter Lambda-Kalkül |0 (DE-588)4270792-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reduktionssystem |0 (DE-588)4194895-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Typentheorie |0 (DE-588)4121795-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Klassische Logik |0 (DE-588)4333219-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Novi Sad |2 gnd-content | |
| 689 | 0 | 0 | |a Typisierter Lambda-Kalkül |0 (DE-588)4270792-4 |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 Klassische Logik |0 (DE-588)4333219-5 |D s |
| 689 | 1 | 2 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 1 | 3 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 1 | 4 | |a Reduktionssystem |0 (DE-588)4194895-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Ong, Luke |e Sonstige |4 oth | |
| 711 | 2 | |a TLCA |n 10 |d 2011 |c Novi Sad |j Sonstige |0 (DE-588)16159032-9 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Typed Lambda Calculi and Applications |
| 830 | 0 | |a Lecture notes in computer science |v 6690 |w (DE-604)BV000000607 |9 6690 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3791475&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022646272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022646272 | |
Datensatz im Suchindex
| _version_ | 1820875322751451136 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
ABSTRACTS OF INVITED LECTURES A SURVEY OF CLASSICAL REALIZABILITY 1
ALEXANDRE MIQUEL
TREE AUTOMATA, (DIS-)EQUALITY CONSTRAINTS AND TERM REWRITING: WHAT'S
NEW? 3
SOPHIE TISON
REWRITING IN PRACTICE 6
ASHISH TIWARI
COMBINING PROOFS AND PROGRAMS 9
STEPHANIE WEIRICH
CONTRIBUTED PAPERS
HIGHER-ORDER DYNAMIC PATTERN UNIFICATION FOR DEPENDENT TYPES AND RECORDS
10
ANDREAS ABEL AND BRIGITTE PIENTKA
CLASSICAL CALL-BY-NEED AND DUALITY 27
ZENA M. ARIOLA, HUGO HERBELIN, AND ALEXIS SAURIN
HOMOTOPY-THEORETIC MODELS OF TYPE THEORY 45
PETER ARNDT AND KRZYSZTOF KAPULKIN
GAME SEMANTICS AND UNIQUENESS OF TYPE INHABITANCE IN THE SIMPLY-TYPED
A-CALCULUS 61
PIERRE BOURREAU AND SYLVAIN SALVATI
ORTHOGONALITY AND BOOLEAN ALGEBRAS FOR DEDUCTION MODULO 76 ALOIS BRUNEI,
OLIVIER HERMANT, AND CLEMENT HOUTMANN
THE BIEQUIVALENCE OF LOCALLY CARTESIAN CLOSED CATEGORIES AND MARTIN-LOEF
TYPE THEORIES 91
PIERRE CLAIRAMBAULT AND PETER DYBJER
REALIZABILITY PROOF FOR NORMALIZATION OF FULL DIFFERENTIAL LINEAR
LOGIC. 107 STEPHANE GIMENEZ
CONTROLLING PROGRAM EXTRACTION IN LIGHT LOGICS 123
MARC LASSON
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011731312
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
AN ELEMENTARY AFFINE A-CALCULUS WITH MULTITHREADING AND SIDE EFFECTS 138
ANTOINE MADET AND ROBERTO M. AMADIO
BOEHM'S THEOREM FOR RESOURCE LAMBDA CALCULUS THROUGH TAYLOR EXPANSION 153
GIULIO MANZONETTO AND MICHELE PAGANI
FINITE COMBINATORY LOGIC WITH INTERSECTION TYPES 169
JAKOB REHOF AND PAWEL URZYCZYN
LINEAR LAMBDA CALCULUS AND DEEP INFERENCE 184
LUCA ROVERSI
PARTIALITY, STATE AND DEPENDENT TYPES 198
KASPER SVENDSEN, LARS BIRKEDAL, AND ALEKSANDAR NANEVSKI
A FILTER MODEL FOR THE A/Z-CALCULUS (EXTENDED ABSTRACT) 213
STEFFEN VAN BAKEL, FRANCO BARBANERA, AND UGO DE'LIGUORO
APPROXIMATION SEMANTICS AND EXPRESSIVE PREDICATE ASSIGNMENT FOR
OBJECT-ORIENTED PROGRAMMING (EXTENDED ABSTRACT) 229
REUBEN ROWE AND STEFFEN VAN BAKEL
AUTHOR INDEX 245 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039102366 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)734093884 (DE-599)DNB1011731312 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039102366</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110804</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110627s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011731312</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642216909</subfield><subfield code="c">kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-21690-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642216900</subfield><subfield code="9">3-642-21690-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642216909</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80064345</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)734093884</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011731312</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Typed lambda calculi and applications</subfield><subfield code="b">10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings</subfield><subfield code="c">Luke Ong (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 244 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">Lecture notes in computer science</subfield><subfield code="v">6690 : Advanced research in computing and software science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</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="650" ind1="0" ind2="7"><subfield code="a">Klassische Logik</subfield><subfield code="0">(DE-588)4333219-5</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="y">2011</subfield><subfield code="z">Novi Sad</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="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">Klassische Logik</subfield><subfield code="0">(DE-588)4333219-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ong, Luke</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TLCA</subfield><subfield code="n">10</subfield><subfield code="d">2011</subfield><subfield code="c">Novi Sad</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16159032-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Typed Lambda Calculi and Applications</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6690</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6690</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3791475&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022646272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022646272</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Novi Sad gnd-content |
| genre_facet | Konferenzschrift 2011 Novi Sad |
| id | DE-604.BV039102366 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:46Z |
| institution | BVB |
| institution_GND | (DE-588)16159032-9 |
| isbn | 9783642216909 3642216900 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022646272 |
| oclc_num | 734093884 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XII, 244 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings Luke Ong (eds.) Berlin [u.a.] Springer 2011 XII, 244 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6690 : Advanced research in computing and software science Literaturangaben Lambda-Kalkül (DE-588)4166495-4 gnd rswk-swf Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Reduktionssystem (DE-588)4194895-6 gnd rswk-swf Typentheorie (DE-588)4121795-0 gnd rswk-swf Klassische Logik (DE-588)4333219-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Novi Sad gnd-content Typisierter Lambda-Kalkül (DE-588)4270792-4 s DE-604 Lambda-Kalkül (DE-588)4166495-4 s Klassische Logik (DE-588)4333219-5 s Typentheorie (DE-588)4121795-0 s Beweistheorie (DE-588)4145177-6 s Reduktionssystem (DE-588)4194895-6 s Ong, Luke Sonstige oth TLCA 10 2011 Novi Sad Sonstige (DE-588)16159032-9 oth Erscheint auch als Online-Ausgabe Typed Lambda Calculi and Applications Lecture notes in computer science 6690 (DE-604)BV000000607 6690 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3791475&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022646272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings Lecture notes in computer science Lambda-Kalkül (DE-588)4166495-4 gnd Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd Beweistheorie (DE-588)4145177-6 gnd Reduktionssystem (DE-588)4194895-6 gnd Typentheorie (DE-588)4121795-0 gnd Klassische Logik (DE-588)4333219-5 gnd |
| subject_GND | (DE-588)4166495-4 (DE-588)4270792-4 (DE-588)4145177-6 (DE-588)4194895-6 (DE-588)4121795-0 (DE-588)4333219-5 (DE-588)1071861417 |
| title | Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings |
| title_auth | Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings |
| title_exact_search | Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings |
| title_full | Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings Luke Ong (eds.) |
| title_fullStr | Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings Luke Ong (eds.) |
| title_full_unstemmed | Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings Luke Ong (eds.) |
| title_short | Typed lambda calculi and applications |
| title_sort | typed lambda calculi and applications 10th international conference tlca 2011 novi sad serbia june 1 3 2011 proceedings |
| title_sub | 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings |
| topic | Lambda-Kalkül (DE-588)4166495-4 gnd Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd Beweistheorie (DE-588)4145177-6 gnd Reduktionssystem (DE-588)4194895-6 gnd Typentheorie (DE-588)4121795-0 gnd Klassische Logik (DE-588)4333219-5 gnd |
| topic_facet | Lambda-Kalkül Typisierter Lambda-Kalkül Beweistheorie Reduktionssystem Typentheorie Klassische Logik Konferenzschrift 2011 Novi Sad |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3791475&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022646272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ongluke typedlambdacalculiandapplications10thinternationalconferencetlca2011novisadserbiajune132011proceedings AT tlcanovisad typedlambdacalculiandapplications10thinternationalconferencetlca2011novisadserbiajune132011proceedings |