Opening book details…
Can I read Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) on EtoBox?
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) by Jean-Yves Girard, Yves Lafont, Paul Taylor is a nonfiction available to read on EtoBox.
What is Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) about?
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.
Who reads Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jean-Yves Girard, Yves Lafont, Paul Taylor
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 1989
- Language
- EN
- ISBN
- 9780521371810
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Science
Other editions & translations
More by Jean-Yves Girard, Yves Lafont, Paul Taylor
Browse all works by Jean-Yves Girard, Yves Lafont, Paul Taylor