Types for Proofs and Programs
Subtitle: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Contributors: Jean-Christophe Filliatre (Editor); Christine Paulin-Mohring (Editor); Benjamin Werner (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 16, 2006
Language: eng
Format: Paperback
Number of pages: 275
ISBN-13: 9783540314288
Subjects: Computing and Information Technology; Logic Design; Computers; Computers - General Information; Computer Books: Languages; Programming Languages - General; Logic; Computers / Logic Design