Types for Proofs and Programs
994 Kč 1 230 Kč
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: | Matthes, Ralph |
Nakladatel: | Books on Demand |
ISBN: | 3735756867 |
Rok vydání: | 2014 |
Jazyk : | Angličtina |
Vazba: | brožovaná/paperback |
Počet stran: | 280 |
-
Caesura in Cryptography
Ackermann, Evelyn
-
Caesura in Cryptography [Paperback]
Ackermann, Evelyn
-
50 Jahre Sparkassen-Automation
Tischelmayer, Norbert Franz-Josef
-
Eine flexible Architektur für verteil...
Schwerdel, Dennis
-
Echo on a Chip - Secure Embedded Syst...
Wake, Mancy A.
-
Restart Strategies
Lorenz, Jan-Hendrik
-
Clean Web
Gabriel, Susanne
-
SUPER SECRETO - Die Dritte Epoche der...
Tenzer, Theo
-
Graph Data-Models and Semantic Web Te...
Spadini, Elena
-
Machines de Jeux: Architecture des Co...
Poggiaspalla, Guillaume
-
Nothing to hide?
Schmitt, Simon
-
Retro - Spiele Katalog Gameboy
Graf, Michael
-
Wahrheit Seelenpartner - Die Phasen. ...
Hannemann, Gabriele
-
Mein großes Mitmachbuch und Malbuch -...
Dannenmann, Alexandra
-
Singing Makes You Happy
Bonin, Christin
-
The Afrofuturist Coloring Book Vol 2
Kelly, Ford