Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Marino Miculan, Ivan Scagnetto, Furio Honsell
2008-01-01
Cite
Type
Book section
Publication
Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers.
Computer Science (all); Biochemistry Genetics and Molecular Biology (all); Theoretical Computer Science

Related