Rewriting and Typed Lambda Calculi, Gilles Dowek

Автор: Amadio
Название: Domains and Lambda-Calculi
ISBN: 0521062926 ISBN-13(EAN): 9780521062923
Издательство: Cambridge Academ
Рейтинг:
Цена: 8870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

Автор: Samson Abramsky
Название: Typed Lambda Calculi and Applications
ISBN: 3540419608 ISBN-13(EAN): 9783540419600
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, and linear logic.

Автор: Marc Bezem; Jan F. Groote
Название: Typed Lambda Calculi and Applications
ISBN: 3540565175 ISBN-13(EAN): 9783540565178
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of conference proceedings contains 29 research papers on typed lambda calculi, which are used as models of computation (where terms are viewed as programs in a typed programming language) and as logical theories (where types are viewed as propositions and terms as proofs).

Автор: Mariangiola Dezani-Ciancaglini; Gordon Plotkin
Название: Typed Lambda Calculi and Applications
ISBN: 354059048X ISBN-13(EAN): 9783540590484
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of conference papers addresses such issues as the proof theory of type systems, logic and type systems, typed lambda calculi as models of higher-order computation, the semantics of typed systems, proof verification via type systems, and typed term rewriting systems.

Автор: Philippe de Groote; J. Roger Hindley
Название: Typed Lambda Calculi and Applications
ISBN: 3540626883 ISBN-13(EAN): 9783540626886
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the Third International Conference on Typed Lambda Calculi and Applications, held in Nancy, France in April 1997. The 24 papers included report the main research advances achieved in the area of typed lambda calculi since the preceding conference, held in 1995.

Автор: Masahito Hasegawa
Название: Typed Lambda Calculi and Applications
ISBN: 3642389457 ISBN-13(EAN): 9783642389450
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Type-Directed Compilation in the Wild: Haskell and Core.- Proving with Side Effects.- Non-linearity as the Metric Completion of Linearity.- System Fi: A Higher-Order Polymorphic λ-Calculus with Erasable Term-Indices.- Non-determinism, Non-termination and the Strong Normalization of System T.- Proof-Relevant Logical Relations for Name Generation.- Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics.- Realizability for Peano Arithmetic with Winning Conditions in HON Games.- The Resource Lambda Calculus Is Short-Sighted in Its Relational Model.- Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction.- Intersection Type Matching with Subtyping.- A Type-Checking Algorithm for Martin-L]of Type Theory with Subtyping Based on Normalisation by Evaluation.- Small Induction Recursion.- Generalizations of Hedberg's Theorem.- Using Models to Model-Check Recursive Schemes.- On Interaction, Continuations and Defunctionalization.- Completeness of Conversion between Reactive Programs for Ultrametric Models.- A Constructive Model of Uniform Continuity.

Автор: Amadio
Название: Domains and Lambda-Calculi
ISBN: 0521622778 ISBN-13(EAN): 9780521622776
Издательство: Cambridge Academ
Рейтинг:
Цена: 21384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

Автор: Draheim, Dirk
Название: Semantics of the probabilistic typed lambda calculus
ISBN: 3642551971 ISBN-13(EAN): 9783642551970
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Part I: The Probabilistic Lambda-Calculus and its Semantics.- Introduction.- Syntax and Operational Semantics.- The Working Probabilistic Lambda Calculus.- Properties of the Markov Chain Semantics.- Denotational Semantics.- Semantical Correspondences.- Categorical Treatment.- Probabilism and Non-Determinism.- Part II: Natural Probabilistic Reasoning.- On Natural Two-Tier Semantics for Propositional Logics.- Natural Semantics of Propositions.- Finite Discrete Stochastics Reconsidered.- Lambda-Calculus Definitions.- Markov Chains.- Basic Logic Language and Semantics Definitions.- References.- Index.

Автор: Francesca Poggiolesi
Название: Gentzen Calculi for Modal Propositional Logic
ISBN: 9400734425 ISBN-13(EAN): 9789400734425
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones.

Автор: Jean-Yves Girard
Название: Typed Lambda Calculi and Applications
ISBN: 3540657630 ISBN-13(EAN): 9783540657637
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text present the proceedings of the 4th International Conference on Typed Lambda Calculi and Applications. The volume reports research results on aspects of typed Lambda calculi and explores noncommutative logics, type theory, algebraic data types, logical calculi and abstract data types.

Автор: Christian W. Probst; Chris Hankin; Ren? Rydhof Han
Название: Semantics, Logics, and Calculi
ISBN: 3319278096 ISBN-13(EAN): 9783319278094
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.