Types for Proofs and Programs

LIPIcs Proceedings 19th International Conference TYPES 2013, April 22–26, 2013, Toulouse, France

Ralph Matthes (Hrsg.), Aleksy Schubert (Hrsg.)

Industrie & Technik

Paperback

280 Seiten

ISBN-13: 9783735756862

Verlag: Books on Demand

Erscheinungsdatum: 31.07.2014

Sprache: Englisch

Farbe: Ja

Bewertung::

0 Bewertungen

48,00 €

inkl. MwSt. / portofrei

Ihr eigenes Buch!

Werden Sie Autor*in mit BoD und erfüllen Sie sich den Traum vom eigenen Buch und E-Book.

Mehr erfahren

Beschreibung

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/in

No authors available.

Ralph Matthes (Hrsg.)

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 (Hrsg.)

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.

Pressestimmen

Es sind momentan noch keine Pressestimmen vorhanden.

Rezensionen

Eigene Bewertung schreiben

Bitte melden Sie sich hier an, um eine Rezension abzugeben.