Types for Proofs and Programs
48,00 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in über 4 Wochen
  • Broschiertes Buch

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.

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Autorenporträt
Ralph Matthes: Ralph Matthes has a permanent CNRS research position at IRIT (Institute for Computer Science of Toulouse). He is a member of the research group ACADIE. The French acronym stands for "Assistance with the Certification of Distributed and Embedded Applications". Aleksy Schubert: Aleksy Schubert is a researcher (adjunct) in the Institute of Informatics at the Faculty of Mathematics, Informatics and Mechanics of the Warsaw University. His research interests include program specification and verification, foundations and software engineering for object-oriented languages, security, theorem proving, lambda calculus and type systems.