Types for Proofs and Programs
Subtitle: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science)
Contributors: Herman Geuvers (Editor); Freek Wiedijk (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 4, 2003
Language: eng
Format: Paperback
Number of pages: 331
ISBN-13: 9783540140313
Subjects: General Theory of Computing; Mathematics and Science; Programming Languages - General; Computer programming; Computer Bks - Languages / Programming; Computers; Computers - Languages / Programming; Programming - General; Computer Books: General; Logic Design; Computers / Logic Design; Automatic theorem proving; Artificial Intelligence - General; Computer Science; Congresses; ESPECIFICAðCäAO DE PROGRAMAS E SISTEMAS.; larpcal