Proofs and Types
Published on 23. March 1989
Book
Hardback
192 pages
978-0-521-37181-0 (ISBN)
Description
This book is derived from notes prepared by J-Y.Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic. It sheds light on traditional logic material and its prospective application to computer science.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
College/higher education
Dimensions
Height: 255 mm
Width: 180 mm
Thickness: 14 mm
Weight
500 gr
ISBN-13
978-0-521-37181-0 (9780521371810)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
Sense, denotation and semantics; natural deduction; the Curry-Howard isomorphism; the normalisation theorem; Godel's system T; coherence spaces; denotational semantics of T; sums in natural deduction; system F; coherence semantics of the sum; cut elimination (Hauptsatz); strong normalisation for F; representation theorem; semantics of System F; what is linear logic?