|
Types for Proofs and Programs: LIPIcs Proceedings 19th International Conference TYPES 2013, April 22¿26, 2013, Toulouse, France
|
![](/rcimages/rc200big.jpg) (Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
Lieferstatus: |
i.d.R. innert 5-10 Tagen versandfertig |
Veröffentlichung: |
Juli 2014
|
Genre: |
EDV / Informatik |
ISBN: |
9783735756862 |
EAN-Code:
|
9783735756862 |
Verlag: |
Books On Demand |
Einband: |
Kartoniert |
Sprache: |
English
|
Dimensionen: |
H 270 mm / B 190 mm / D 20 mm |
Gewicht: |
676 gr |
Seiten: |
280 |
Zus. Info: |
Paperback |
Bewertung: |
Titel bewerten / Meinung schreiben
|
Inhalt: |
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.
|
|