Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008. The 19 revised full papers presented we...

Full description

Bibliographic Details

Other Authors:	Berardi, Stefano (Editor) Damiani, Ferruccio (Editor)  de’Liguoro, Ugo (Editor)
Corporate Author:	SpringerLink (online služba) (Distributor)
Conference:	TYPES 2008 (Turín, Itálie)
Format:	eBook
Language:	English
Published:	Berlin ; Heidelberg ; New York : Springer, 2009
Series:	Lecture notes in computer science
Genre/form:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-02444-3 978-3-642-02443-6 3-642-02443-2
Subjects:	informatika počítače programování programovací jazyky umělá inteligence robotika počítačová simulace matematická logika formální jazyky
Online Access:	Plný text
Tags:	Add Tag No Tags, Be the first to tag this record!