Typed lambda calculi and applications: 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2009
|
| Series: | Lecture notes in computer science
5608 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XIII, 415 S. graph. Darst. 24 cm |
| ISBN: | 9783642022722 3642022723 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035589158 | ||
| 003 | DE-604 | ||
| 005 | 20090806 | ||
| 007 | t| | ||
| 008 | 090629s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N23,0118 |2 dnb | ||
| 016 | 7 | |a 994283113 |2 DE-101 | |
| 020 | |a 9783642022722 |c kart. : EUR 60.94 (freier Pr.), sfr 88.50 (freier Pr.) |9 978-3-642-02272-2 | ||
| 020 | |a 3642022723 |9 3-642-02272-3 | ||
| 024 | 3 | |a 9783642022722 | |
| 028 | 5 | 2 | |a 12695461 |
| 035 | |a (OCoLC)423776881 | ||
| 035 | |a (DE-599)DNB994283113 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 005.1015113 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Typed lambda calculi and applications |b 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings |c Pierre-Louis Curien (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XIII, 415 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 5608 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Computational logic - Kongress - Brasília <2009> | |
| 650 | 4 | |a Kategorientheorie - Kongress - Brasília <2009> | |
| 650 | 4 | |a Typisierter Lambda-Kalkül - Kongress - Brasília <2009> | |
| 650 | 4 | |a Lambda calculus |v Congresses | |
| 650 | 0 | 7 | |a Typisierter Lambda-Kalkül |0 (DE-588)4270792-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Brasília |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 Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Curien, Pierre-Louis |e Sonstige |4 oth | |
| 711 | 2 | |a TLCA |n 9 |d 2009 |c Brasília |j Sonstige |0 (DE-588)16012835-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5608 |w (DE-604)BV000000607 |9 5608 | |
| 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=017644408&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017644408 | |
Record in the Search Index
| _version_ | 1820875133474045952 |
|---|---|
| adam_text |
TABLE OF CONTENTS MATHEMATICAL SYNTHESIS OF EQUATIONAL DEDUCTION SYSTEMS
(INVITED TALK) 1 MARCELO FIORE AND CHUNG-KIL HUR A PRONOMINAL APPROACH
TO BINDING AND COMPUTATION (INVITED TALK). 3 ROBERT HARPER, DANIEL R.
LICATA, AND NOAM ZEILBERGER A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE
THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE 5 ANDREAS ABEL,
THIERRY COQUAND, AND MIGUEL PAGANO INTERACTIVE LEARNING-BASED
REALIZABILITY INTERPRETATION FOR HEYTING ARITHMETIC WITH EMI 20 FEDERICO
ASCHIERI AND STEFANO BERARDI SYNTAX FOR FREE: REPRESENTING SYNTAX WITH
BINDING USING PARAMETRICITY 35 ROBERT ATKEY ON THE MEANING OF LOGICAL
COMPLETENESS 50 MICHELE BASALDELLA AND KAZUSHIGE TERUI THICK SUBTREES,
GAMES AND EXPERIMENTS 65 PIERRE BOUDES BOUNDED LINEAR LOGIC, REVISITED
80 UGO DAL LAGO AND MARTIN HOFMANN PARTIAL ORDERS, EVENT STRUCTURES AND
LINEAR STRATEGIES 95 CLAUDIA FAGGIAN AND MAURO PICCOLO EXISTENTIAL TYPE
SYSTEMS WITH NO TYPES IN TERMS 112 KEN-ETSU FUJITA AND ALEKSY SCHUBERT
INITIAL ALGEBRA SEMANTICS FOR CYCLIC SHARING STRUCTURES 127 MAKOTO
HAMANA AN OPERATIONAL ACCOUNT OF CALL-BY-VALUE MINIMAL AND CLASSICAL
A-CALCULUS IN "NATURAL DEDUCTION" FORM 142 HUGO BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/994283113 DIGITALISIERT DURCH XII TABLE
OF CONTENTS WEAK ^-CATEGORIES FROM INTENSIONAL TYPE THEORY 172 PETER
LEFANU LUMSDAINE RELATING CLASSICAL REALIZABILITY AND NEGATIVE
TRANSLATION FOR EXISTENTIAL WITNESS EXTRACTION 188 ALEXANDRE MIQUEL
SESSION-BASED COMMUNICATION OPTIMISATION FOR HIGHER-ORDER MOBILE
PROCESSES 203 DIMITRIS MOSTROUS AND NOBUKO YOSHIDA THE CUT-ELIMINATION
THEOREM FOR DIFFERENTIAL NETS WITH PROMOTION . 219 MICHELE PAGANI A
POLYMORPHIC TYPE SYSTEM FOR THE LAMBDA-CALCULUS WITH CONSTRUCTORS 234
BARBARA PETIT KRIPKE SEMANTICS FOR MARTIN-LOEF 'S EXTENSIONAL TYPE THEORY
249 STEVE AWODEY AND FLORIAN RABE ON THE VALUES OF REDUCIBILITY
CANDIDATES 264 COLIN RIBA LEXICOGRAPHIC PATH INDUCTION 279 JEFFREY
SARNAT AND CARSTEN SCHUERMANN PARAMETRICITY FOR HASKELL WITH IMPRECISE
ERROR SEMANTICS 294 FLORIAN STENGER AND JANIS VOIGTLAENDER SOME
OBSERVATIONS ON THE PROOF THEORY OF SECOND ORDER PROPOSITIONAL
MULTIPLICATIVE LINEAR LOGIC 309 LUTZ STRASSBURGER ALGEBRAIC TOTALITY,
TOWARDS COMPLETENESS 325 CHRISTINE TASSON A LOGICAL FOUNDATION FOR
ENVIRONMENT CLASSIFIERS 341 TAKESHI TSUKADA AND ATSUSHI IGARASHI
INHABITATION OF LOW-RANK INTERSECTION TYPES 356 PAWEL TABLE OF CONTENTS
XIII THE COMPUTATIONAL SLR: A LOGIC FOR REASONING ABOUT COMPUTATIONAL
INDISTINGUISHABILITY 401 YU ZHANG AUTHOR INDEX 417 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035589158 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)423776881 (DE-599)DNB994283113 |
| 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 Mathematik |
| 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">BV035589158</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090806</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090629s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N23,0118</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994283113</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642022722</subfield><subfield code="c">kart. : EUR 60.94 (freier Pr.), sfr 88.50 (freier Pr.)</subfield><subfield code="9">978-3-642-02272-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642022723</subfield><subfield code="9">3-642-02272-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642022722</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12695461</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)423776881</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994283113</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-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Typed lambda calculi and applications</subfield><subfield code="b">9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings</subfield><subfield code="c">Pierre-Louis Curien (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 415 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">5608</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational logic - Kongress - Brasília <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Kategorientheorie - Kongress - Brasília <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Typisierter Lambda-Kalkül - Kongress - Brasília <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lambda calculus</subfield><subfield code="v">Congresses</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">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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">2009</subfield><subfield code="z">Brasília</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">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Curien, Pierre-Louis</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">9</subfield><subfield code="d">2009</subfield><subfield code="c">Brasília</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16012835-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5608</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5608</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=017644408&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-017644408</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Brasília gnd-content |
| genre_facet | Konferenzschrift 2009 Brasília |
| id | DE-604.BV035589158 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:47Z |
| institution | BVB |
| institution_GND | (DE-588)16012835-3 |
| isbn | 9783642022722 3642022723 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017644408 |
| oclc_num | 423776881 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | XIII, 415 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings Pierre-Louis Curien (ed.) Berlin [u.a.] Springer 2009 XIII, 415 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5608 Literaturangaben Computational logic - Kongress - Brasília <2009> Kategorientheorie - Kongress - Brasília <2009> Typisierter Lambda-Kalkül - Kongress - Brasília <2009> Lambda calculus Congresses Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd rswk-swf Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Computational logic (DE-588)4255672-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Brasília gnd-content Typisierter Lambda-Kalkül (DE-588)4270792-4 s DE-604 Computational logic (DE-588)4255672-7 s Kategorientheorie (DE-588)4120552-2 s Curien, Pierre-Louis Sonstige oth TLCA 9 2009 Brasília Sonstige (DE-588)16012835-3 oth Lecture notes in computer science 5608 (DE-604)BV000000607 5608 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017644408&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings Lecture notes in computer science Computational logic - Kongress - Brasília <2009> Kategorientheorie - Kongress - Brasília <2009> Typisierter Lambda-Kalkül - Kongress - Brasília <2009> Lambda calculus Congresses Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd Kategorientheorie (DE-588)4120552-2 gnd Computational logic (DE-588)4255672-7 gnd |
| subject_GND | (DE-588)4270792-4 (DE-588)4120552-2 (DE-588)4255672-7 (DE-588)1071861417 |
| title | Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings |
| title_auth | Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings |
| title_exact_search | Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings |
| title_full | Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings Pierre-Louis Curien (ed.) |
| title_fullStr | Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings Pierre-Louis Curien (ed.) |
| title_full_unstemmed | Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings Pierre-Louis Curien (ed.) |
| title_short | Typed lambda calculi and applications |
| title_sort | typed lambda calculi and applications 9th international conference tlca 2009 brasilia brazil july 1 3 2009 proceedings |
| title_sub | 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings |
| topic | Computational logic - Kongress - Brasília <2009> Kategorientheorie - Kongress - Brasília <2009> Typisierter Lambda-Kalkül - Kongress - Brasília <2009> Lambda calculus Congresses Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd Kategorientheorie (DE-588)4120552-2 gnd Computational logic (DE-588)4255672-7 gnd |
| topic_facet | Computational logic - Kongress - Brasília <2009> Kategorientheorie - Kongress - Brasília <2009> Typisierter Lambda-Kalkül - Kongress - Brasília <2009> Lambda calculus Congresses Typisierter Lambda-Kalkül Kategorientheorie Computational logic Konferenzschrift 2009 Brasília |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017644408&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT curienpierrelouis typedlambdacalculiandapplications9thinternationalconferencetlca2009brasiliabraziljuly132009proceedings AT tlcabrasilia typedlambdacalculiandapplications9thinternationalconferencetlca2009brasiliabraziljuly132009proceedings |