:facetid:toc:\"db/conf/tlca/tlca2005.bht\"OK:facetid:toc:db/conf/tlca/tlca2005.bhtAndreas Abel 0001Thierry CoquandUntyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.TLCA23-382005Conference and Workshop Papersclosedconf/tlca/AbelC0510.1007/11417170_4https://doi.org/10.1007/11417170_4https://dblp.org/rec/conf/tlca/AbelC05URL#5947962Klaus AehligJolie G. de MirandaC.-H. Luke OngThe Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable.TLCA39-542005Conference and Workshop Papersclosedconf/tlca/AehligMO0510.1007/11417170_5https://doi.org/10.1007/11417170_5https://dblp.org/rec/conf/tlca/AehligMO05URL#5947963Patrick BaillotKazushige TeruiA Feasible Algorithm for Typing in Elementary Affine Logic.TLCA55-702005Conference and Workshop Papersclosedconf/tlca/BaillotT0510.1007/11417170_6https://doi.org/10.1007/11417170_6https://dblp.org/rec/conf/tlca/BaillotT05URL#5947964Gilles BartheBenjamin GrégoireFernando PastawskiPractical Inference for Type-Based Termination in a Polymorphic Setting.TLCA71-852005Conference and Workshop Papersclosedconf/tlca/BartheGP0510.1007/11417170_7https://doi.org/10.1007/11417170_7https://dblp.org/rec/conf/tlca/BartheGP05URL#5947965Nick BentonBenjamin LepercheyRelational Reasoning in a Nominal Semantics for Storage.TLCA86-1012005Conference and Workshop Papersclosedconf/tlca/BentonL0510.1007/11417170_8https://doi.org/10.1007/11417170_8https://dblp.org/rec/conf/tlca/BentonL05URL#5947966Yves BertotFilters on CoInductive Streams, an Application to Eratosthenes' Sieve.TLCA102-1152005Conference and Workshop Papersclosedconf/tlca/Bertot0510.1007/11417170_9https://doi.org/10.1007/11417170_9https://dblp.org/rec/conf/tlca/Bertot05URL#5947967Ana BoveVenanzio CaprettaRecursive Functions with Higher Order Domains.TLCA116-1302005Conference and Workshop Papersclosedconf/tlca/BoveC0510.1007/11417170_10https://doi.org/10.1007/11417170_10https://dblp.org/rec/conf/tlca/BoveC05URL#5947968Paolo Coppola 0001Ugo Dal LagoSimona Ronchi Della RoccaElementary Affine Logic and the Call-by-Value Lambda Calculus.TLCA131-1452005Conference and Workshop Papersclosedconf/tlca/CoppolaLR0510.1007/11417170_11https://doi.org/10.1007/11417170_11https://dblp.org/rec/conf/tlca/CoppolaLR05URL#5947969Thierry CoquandCompleteness Theorems and lambda-Calculus.TLCA1-92005Conference and Workshop Papersclosedconf/tlca/Coquand0510.1007/11417170_1https://doi.org/10.1007/11417170_1https://dblp.org/rec/conf/tlca/Coquand05URL#5947970Roberto Di CosmoFrançois PottierDidier RémySubtyping Recursive Types Modulo Associative Commutative Products.TLCA179-1932005Conference and Workshop Papersclosedconf/tlca/CosmoPR0510.1007/11417170_14https://doi.org/10.1007/11417170_14https://dblp.org/rec/conf/tlca/CosmoPR05URL#5947971Ferruccio DamianiRank-2 Intersection and Polymorphic Recursion.TLCA146-1612005Conference and Workshop Papersclosedconf/tlca/Damiani0510.1007/11417170_12https://doi.org/10.1007/11417170_12https://dblp.org/rec/conf/tlca/Damiani05URL#5947972René DavidKarim NourArithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus.TLCA162-1782005Conference and Workshop Papersclosedconf/tlca/DavidN0510.1007/11417170_13https://doi.org/10.1007/11417170_13https://dblp.org/rec/conf/tlca/DavidN05URL#5947973Amy P. FeltyA Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract.TLCA10-102005Conference and Workshop Papersclosedconf/tlca/Felty0510.1007/11417170_2https://doi.org/10.1007/11417170_2https://dblp.org/rec/conf/tlca/Felty05URL#5947974Ken-etsu FujitaGalois Embedding from Polymorphic Types into Existential Types.TLCA194-2082005Conference and Workshop Papersclosedconf/tlca/Fujita0510.1007/11417170_15https://doi.org/10.1007/11417170_15https://dblp.org/rec/conf/tlca/Fujita05URL#5947975Susumu HayashiCan Proofs Be Animated By Games?TLCA11-222005Conference and Workshop Papersclosedconf/tlca/Hayashi0510.1007/11417170_3https://doi.org/10.1007/11417170_3https://dblp.org/rec/conf/tlca/Hayashi05URL#5947976Hugo HerbelinOn the Degeneracy of Sigma-Types in Presence of Computational Classical Logic.TLCA209-2202005Conference and Workshop Papersclosedconf/tlca/Herbelin0510.1007/11417170_16https://doi.org/10.1007/11417170_16https://dblp.org/rec/conf/tlca/Herbelin05URL#5947977Olivier HermantSemantic Cut Elimination in the Intuitionistic Sequent Calculus.TLCA221-2332005Conference and Workshop Papersclosedconf/tlca/Hermant0510.1007/11417170_17https://doi.org/10.1007/11417170_17https://dblp.org/rec/conf/tlca/Hermant05URL#5947978James LairdThe Elimination of Nesting in SPCF.TLCA234-2452005Conference and Workshop Papersclosedconf/tlca/Laird0510.1007/11417170_18https://doi.org/10.1007/11417170_18https://dblp.org/rec/conf/tlca/Laird05URL#5947979François LamarcheLutz StraßburgerNaming Proofs in Classical Propositional Logic.TLCA246-2612005Conference and Workshop Papersclosedconf/tlca/LamarcheS0510.1007/11417170_19https://doi.org/10.1007/11417170_19https://dblp.org/rec/conf/tlca/LamarcheS05URL#5947980Sam LindleyIan StarkReducibility and TT-Lifting for Computation Types.TLCA262-2772005Conference and Workshop Papersclosedconf/tlca/LindleyS0510.1007/11417170_20https://doi.org/10.1007/11417170_20https://dblp.org/rec/conf/tlca/LindleyS05URL#5947981Stan MatwinAmy P. FeltyIstván T. HernádvölgyiVenanzio CaprettaPrivacy in Data Mining Using Formal Methods.TLCA278-2922005Conference and Workshop Papersclosedconf/tlca/MatwinFHC0510.1007/11417170_21https://doi.org/10.1007/11417170_21https://dblp.org/rec/conf/tlca/MatwinFHC05URL#5947982Greg MorrisettAmal J. Ahmed 0001Matthew FluetL3: A Linear Language with Locations.TLCA293-3072005Conference and Workshop Papersclosedconf/tlca/MorrisettAF0510.1007/11417170_22https://doi.org/10.1007/11417170_22https://dblp.org/rec/conf/tlca/MorrisettAF05URL#5947983John PowerMiki TanakaBinding Signatures for Generic Contexts.TLCA308-3232005Conference and Workshop Papersclosedconf/tlca/PowerT0510.1007/11417170_23https://doi.org/10.1007/11417170_23https://dblp.org/rec/conf/tlca/PowerT05URL#5947984Virgile PrevostoSylvain BoulméProof Contexts with Late Binding.TLCA324-3382005Conference and Workshop Papersclosedconf/tlca/PrevostoB0510.1007/11417170_24https://doi.org/10.1007/11417170_24https://dblp.org/rec/conf/tlca/PrevostoB05URL#5947985Carsten Schürmann 0001Adam PoswolskyJeffrey SarnatThe [triangle]-Calculus. Functional Programming with Higher-Order Encodings.TLCA339-3532005Conference and Workshop Papersclosedconf/tlca/SchurmannPS0510.1007/11417170_25https://doi.org/10.1007/11417170_25https://dblp.org/rec/conf/tlca/SchurmannPS05URL#5947986Peter SelingerBenoît ValironA Lambda Calculus for Quantum Computation with Classical Control.TLCA354-3682005Conference and Workshop Papersclosedconf/tlca/SelingerV0510.1007/11417170_26https://doi.org/10.1007/11417170_26https://dblp.org/rec/conf/tlca/SelingerV05URL#5947987Paula SeveriFer-Jan de VriesContinuity and Discontinuity in Lambda Calculus.TLCA369-3852005Conference and Workshop Papersclosedconf/tlca/SeveriV0510.1007/11417170_27https://doi.org/10.1007/11417170_27https://dblp.org/rec/conf/tlca/SeveriV05URL#5947988François-Régis SinotCall-by-Name and Call-by-Value as Token-Passing Interaction Nets.TLCA386-4002005Conference and Workshop Papersclosedconf/tlca/Sinot0510.1007/11417170_28https://doi.org/10.1007/11417170_28https://dblp.org/rec/conf/tlca/Sinot05URL#5947989Christian UrbanJames CheneyAvoiding Equivariance in Alpha-Prolog.TLCA401-4162005Conference and Workshop Papersclosedconf/tlca/UrbanC0510.1007/11417170_29https://doi.org/10.1007/11417170_29https://dblp.org/rec/conf/tlca/UrbanC05URL#5947990Damiano ZanardiniHigher-Order Abstract Non-interference.TLCA417-4322005Conference and Workshop Papersclosedconf/tlca/Zanardini0510.1007/11417170_30https://doi.org/10.1007/11417170_30https://dblp.org/rec/conf/tlca/Zanardini05URL#5947991Pawel UrzyczynTyped Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, ProceedingsTLCALecture Notes in Computer Science3461Springer2005Editorshipconf/tlca/200510.1007/B135690https://doi.org/10.1007/b135690https://dblp.org/rec/conf/tlca/2005URL#5958030