Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

Parametric lambda calculus, Ronchi Della Rocca, Simona Paolini, Luca



Варианты приобретения
Цена: 9234р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 19 июл 2022
Ориентировочная дата поставки: Август
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Ronchi Della Rocca, Simona Paolini, Luca
Название:  Parametric lambda calculus
ISBN: 9783642057465
Издательство: Springer
Классификация:
ISBN-10: 3642057462
Обложка/Формат: Paperback
Страницы: 272
Вес: 0.392 кг.
Дата издания: 04.12.2010
Серия: Texts in theoretical computer science: an eatcs series
Язык: English
Издание: Softcover reprint of
Иллюстрации: Black & white illustrations
Размер: 174 x 234 x 15
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии



Lambda Calculus. Its Syntax and Semantics

Автор: Barendregt Henk
Название: Lambda Calculus. Its Syntax and Semantics
ISBN: 184890066X ISBN-13(EAN): 9781848900660
Издательство: Неизвестно
Рейтинг:
Цена: 4121 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Lambda Calculus with Types

Автор: Barendregt
Название: Lambda Calculus with Types
ISBN: 0521766141 ISBN-13(EAN): 9780521766142
Издательство: Cambridge Academ
Рейтинг:
Цена: 10133 р.
Наличие на складе: Поставка под заказ.

Описание: This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.

Domains and Lambda-Calculi

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

Описание: 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 both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.

Lambda-Calculus and Combinators

Автор: J. Roger Hindley
Название: Lambda-Calculus and Combinators
ISBN: 0521898854 ISBN-13(EAN): 9780521898850
Издательство: Cambridge Academ
Рейтинг:
Цена: 10441 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.

Abstract Computing Machines / A Lambda Calculus Perspective

Автор: Kluge W.
Название: Abstract Computing Machines / A Lambda Calculus Perspective
ISBN: 3540211462 ISBN-13(EAN): 9783540211464
Издательство: Springer
Рейтинг:
Цена: 10394 р.
Наличие на складе: Поставка под заказ.

Описание: The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation.The emphasis is on fully normalizing machines based on a full-fledged beta-reduction as an essential prerequisite for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative (von Neumann) machines that permit side-effecting operations on the runtime environment.

Parametric Interval Algebraic Systems

Автор: Skalna
Название: Parametric Interval Algebraic Systems
ISBN: 3319751867 ISBN-13(EAN): 9783319751863
Издательство: Springer
Рейтинг:
Цена: 13859 р.
Наличие на складе: Поставка под заказ.

Описание: This self-contained book presents a framework for solving a general class of linear systems with coefficients being continuous functions of parameters varying within prescribed intervals.

Typed Lambda Calculi and Applications

Автор: Ong
Название: Typed Lambda Calculi and Applications
ISBN: 3642216900 ISBN-13(EAN): 9783642216909
Издательство: Springer
Рейтинг:
Цена: 6929 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.

Typed Lambda Calculi and Applications

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

Описание: 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).

Typed Lambda Calculi and Applications

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

Описание: 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.

Typed Lambda Calculi and Applications

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

Описание:

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.

Typed Lambda Calculi and Applications

Автор: Pierre-Louis Curien
Название: Typed Lambda Calculi and Applications
ISBN: 3642022723 ISBN-13(EAN): 9783642022722
Издательство: Springer
Рейтинг:
Цена: 10047 р.
Наличие на складе: Поставка под заказ.

Описание: 9th International Conference TLCA 2009 Brasilia Brazil July 13 2009 Proceedings. .

Typed Lambda Calculi and Applications

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

Описание: 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.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия