Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Autorenporträt
Simona Ronchi Della Rocca, University of Turin, Italy
Inhaltsangabe
On a Logical Foundation for Explicit Substitutions.- From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing.- Strong Normalization and Equi-(Co)Inductive Types.- Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves.- The Safe Lambda Calculus.- Intuitionistic Refinement Calculus.- Computation by Prophecy.- An Arithmetical Proof of the Strong Normalization for the ?-Calculus with Recursive Equations on Types.- Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.- Completing Herbelin's Programme.- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.- Ludics is a Model for the Finitary Linear Pi-Calculus.- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic.- The Omega Rule is -Complete in the ??-Calculus.- Weakly Distributive Domains.- Initial Algebra Semantics Is Enough!.- A Substructural Type System for Delimited Continuations.- The Inhabitation Problem for Rank Two Intersection Types.- Extensional Rewriting with Sums.- Higher-Order Logic Programming Languages with Constraints: A Semantics.- Predicative Analysis of Feasibility and Diagonalization.- Edifices and Full Abstraction for the Symmetric Interaction Combinators.- Two Session Typing Systems for Higher-Order Mobile Processes.- An Isomorphism Between Cut-Elimination Procedure and Proof Reduction.- Polynomial Size Analysis of First-Order Functions.- Simple Saturated Sets for Disjunction and Second-Order Existential Quantification.- Convolution -Calculus.
On a Logical Foundation for Explicit Substitutions.- From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing.- Strong Normalization and Equi-(Co)Inductive Types.- Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves.- The Safe Lambda Calculus.- Intuitionistic Refinement Calculus.- Computation by Prophecy.- An Arithmetical Proof of the Strong Normalization for the ?-Calculus with Recursive Equations on Types.- Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.- Completing Herbelin's Programme.- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.- Ludics is a Model for the Finitary Linear Pi-Calculus.- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic.- The Omega Rule is -Complete in the ??-Calculus.- Weakly Distributive Domains.- Initial Algebra Semantics Is Enough!.- A Substructural Type System for Delimited Continuations.- The Inhabitation Problem for Rank Two Intersection Types.- Extensional Rewriting with Sums.- Higher-Order Logic Programming Languages with Constraints: A Semantics.- Predicative Analysis of Feasibility and Diagonalization.- Edifices and Full Abstraction for the Symmetric Interaction Combinators.- Two Session Typing Systems for Higher-Order Mobile Processes.- An Isomorphism Between Cut-Elimination Procedure and Proof Reduction.- Polynomial Size Analysis of First-Order Functions.- Simple Saturated Sets for Disjunction and Second-Order Existential Quantification.- Convolution -Calculus.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
