LEADER 04855nam 2200541 a 450 001 9910483964603321 005 20200520144314.0 024 7 $a10.1007/b135690 035 $a(CKB)1000000000212916 035 $a(SSID)ssj0000320539 035 $a(PQKBManifestationID)11238892 035 $a(PQKBTitleCode)TC0000320539 035 $a(PQKBWorkID)10249702 035 $a(PQKB)10087648 035 $a(DE-He213)978-3-540-32014-2 035 $a(MiAaPQ)EBC3067898 035 $a(PPN)123093864 035 $a(EXLCZ)991000000000212916 100 $a20050317d2005 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTyped lambda calculi and applications $e7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /$fPawel Urzyczyn (ed.) 205 $a1st ed. 2005. 210 $aBerlin $cSpringer$dc2005 215 $a1 online resource (XII, 436 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3461 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540255932 320 $aIncludes bibliographical references and index. 327 $aCompleteness Theorems and ?-Calculus -- Completeness Theorems and ?-Calculus -- A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract -- Can Proofs Be Animated By Games? -- Contributed Papers -- Untyped Algorithmic Equality for Martin-Löf?s Logical Framework with Surjective Pairs -- The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable -- A Feasible Algorithm for Typing in Elementary Affine Logic -- Practical Inference for Type-Based Termination in a Polymorphic Setting -- Relational Reasoning in a Nominal Semantics for Storage -- Filters on CoInductive Streams, an Application to Eratosthenes? Sieve -- Recursive Functions with Higher Order Domains -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic Recursion -- Arithmetical Proofs of Strong Normalization Results for the Symmetric ??-Calculus -- Subtyping Recursive Types Modulo Associative Commutative Products -- Galois Embedding from Polymorphic Types into Existential Types -- On the Degeneracy of ?-Types in Presence of Computational Classical Logic -- Semantic Cut Elimination in the Intuitionistic Sequent Calculus -- The Elimination of Nesting in SPCF -- Naming Proofs in Classical Propositional Logic -- Reducibility and ???-Lifting for Computation Types -- Privacy in Data Mining Using Formal Methods -- L3: A Linear Language with Locations -- Binding Signatures for Generic Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order Encodings -- A Lambda Calculus for Quantum Computation with Classical Control -- Continuity and Discontinuity in Lambda Calculus -- Call-by-Name and Call-by-Value as Token-Passing Interaction Nets -- Avoiding Equivariance in Alpha-Prolog -- Higher-Order Abstract Non-interference. 330 $aThe 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). This book contains the contributed papers, and extended abstracts of two invited talks, given by Thierry Coquand and Susumu Hayashi. A short abstract of the joint RDP invited lecture by Amy Felty is also included. The 27 contributed papers were selected from 61 submissions of generally very high quality, and the Program Committee had a hard time making the selection. The editor would like to thank everyone who submitted a paper and to express his regret that many interesting works could not be included. The editor also wishes to thank the invited speakers, the members of the Program and Organizing Committees, the Publicity Chair, and the referees for their joint e?ort towards the success of the conference. The support from the Nara Convention Bureau is gratefully acknowledged. The typed lambda calculus continues to be an important tool in logic and theoretical computer science. Since 1993, the research progress in this area has been documented by the TLCA proceedings. The present volume contributes to this tradition. 410 0$aLecture notes in computer science ;$v3461. 517 3 $aTLCA 2005 606 $aLambda calculus$vCongresses 615 0$aLambda calculus 676 $a511.3 701 $aUrzyczyn$b Pawe$0318886 712 12$aInternational Conference on Typed Lambda Calculi and Applications 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483964603321 996 $aTyped lambda calculi and applications$94192805 997 $aUNINA LEADER 03354nam 2200421z- 450 001 9910404226703321 005 20210211 010 $a989-26-1475-5 035 $a(CKB)4100000011302691 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/48465 035 $a(NjHacI)994100000011302691 035 $a(oapen)doab48465 035 $a(EXLCZ)994100000011302691 100 $a20202102d2017 |y 0 101 0 $apor 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aGeografia, turismo e patrimo?nio cultural: identidades usos e ideologias 210 $cCoimbra University Press$d2017 215 $a1 online resource 225 1 $aOutros títulos 311 08$a989-26-1474-7 330 $aA denominac?a?o "geografia" sempre esteve associada a conhecimentos que se individuali zavam por meio da articulac?a?o de outros conhecimentos, tendo essa relac?a?o de saberes distintos como forte elemento de autoidentificac?a?o. A geografia foi, em diferentes momentos e formula c?o?es, pensada como um campo de interrelacionamento de estudos to?picos de variados feno?me nos e processos. Uma a?rea de dia?logos e conexo?es entre teorias di?spares. Uma base comum de aproximac?a?o de diferenciadas cie?ncias. Enfim, um campo transdisciplinar, avant la lettre. Na?o raro este intuito integrador esteve identificado com um conceito, entendido como uma realidade material ou como um a?ngulo de observac?a?o da realidade. Em algumas concepc?o?es, a "superfi?cie terrestre" fornecia o indicador que delimitava a especificidade do campo disciplinar, conformando uma cie?ncia telu?rica. Em outras viso?es, o "espac?o" cumpria tal func?a?o, com o nexo entre os feno?menos advindo da sobreposic?a?o de suas espacialidades. A "regia?o", a "paisagem", e o "lugar" tambe?m foram mobilizados nas tentativas de construc?a?o (ontolo?gica ou epistemolo?gica) do objeto geogra?fico. Em tal percurso - razoavelmente linear enquanto geografia "moderna" - foi se sedimen tando, teo?rica institucionalmente, uma tradic?a?o acade?mica contempora?nea. Uma tradic?a?o com demarcac?o?es cambiantes e fronteiras abertas, marcada por fortes influe?ncias extradisciplinares. Nessa dina?mica, corporificam-se geografias singulares, umas com pretensa?o sinte?tica, outras especializadas. Algumas diretamente d erivadas de debates com disciplinas especi?ficas, outras almejando um patamar universalizante quase filoso?fico. Umas de marcado cara?ter empi?rico, ou tras eminentemente teo?ricas. Mais que uma eventual "esse?ncia" geogra?fica, a presente colec?a?o visa captar a diversidade e a dina?mica exoga?mica que acompanha a histo?ria da disciplina. Mapear as geografias e suas adjace?ncias. 517 $aGeografia, turismo e patrimônio cultural 517 $aGeografia, turismo e patrimônio cultural 606 $aTourism$zBrazil$vCongresses 615 0$aTourism 676 $a338.47918104 700 $aMarcelo Antonio Sotratti$4auth$01280079 702 $aMaria Tereza Duarte Paes$4auth 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910404226703321 996 $aGeografia, turismo e patrimônio cultural: identidades usos e ideologias$93016533 997 $aUNINA