Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Proofs and Types

3.9/5 ( ratings)

This text is an outgrowth of 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 . Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material and its prospective applications to computer science. The book covers a very active and exciting research area, and it will be essential reading for all those working in logic and computer science.

Language: English

Pages: 192

Format: Hardcover

Publisher: Cambridge University Press

Release: April 28, 1989

ISBN: 0521371813

ISBN 13: 9780521371810

Proofs and Types

3.9/5 ( ratings)

This text is an outgrowth of 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 . Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material and its prospective applications to computer science. The book covers a very active and exciting research area, and it will be essential reading for all those working in logic and computer science.

Language: English

Pages: 192

Format: Hardcover

Publisher: Cambridge University Press

Release: April 28, 1989

ISBN: 0521371813

ISBN 13: 9780521371810

More books from Paul Taylor

The New Answers Book 1: Over 25 Questions on Creation/Evolution and the Bible

4.2/5 ( ratings)

God Save my English Beginner: avec Paul Taylor & Sarah Donnelly

Wapsi Square: 2001-2004

3.9/5 ( ratings)

Phase Shift

3.4/5 ( ratings)

Text-to-Speech Synthesis

4.3/5 ( ratings)

Post-Pop Art

3.6/5 ( ratings)

The Happiness Checklist: A Practical Guide to Achieving Sustainable Happiness

4.3/5 ( ratings)

The Biochar Revolution: Transforming Agriculture & Environment

4.2/5 ( ratings)

Sociology In Focus

Condition: The Ageing Of Art

Of Fossils Foxes: The Official, Definitive History of Leicester City Football Club

4.6/5 ( ratings)

Pinocchio : Un Conte de Fées Animé

4.8/5 ( ratings)

A Companion to Criminal Justice, Mental Health and Risk

Of Fossils and Foxes: The Official Definitive History of Leicester City Football Club

OCR Sociology for A Level Book 1 (Eurostars)

I'll Be There For You

The Journal of the Order of Buddhist Contemplatives: Winter 2014

Rate this book!

Write a review?