Ucebnice.cz Odborná • naučnáTechnické vědyInformační technologie
Termín obdržení zásilky
Česká pošta Úterý 22.09
PPL Úterý 22.09
Osobní odběr Středa 23.09
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Types for Proofs and Programs

Types for Proofs and Programs
19 %

994  Kč 1 230 Kč

Sleva až 70% u třetiny knih

In this LIPIcs proceedings one can find research papers on the following topics: analysis of the classical principles in intuitionistic calculi, type isomorphisms for intersection types, monads and their semantics in functional programming languages, realizability, extensions of type theory, extensions of linear logic, models of type theory, control operators in type systems, formal verification of programs, program extraction, compiler formalization and modelling of natural language features. All papers obtained at least two reviews, and up to six reviews, counting a second round of review.
Autor:
Nakladatel: Books on Demand
ISBN: 3735756867
Rok vydání: 2014
Jazyk : Angličtina
Vazba: brožovaná/paperback
Počet stran: 280
Mohlo by se vám také líbit..