Proofs and Types
Jean-Yves Girard, Yves Lafont, Paul Taylor
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.
Kategoriler:
Yıl:
2003
Yayımcı:
Cambridge University Press
Dil:
english
Sayfalar:
183
ISBN 10:
0521371813
ISBN 13:
9780521371810
Seriler:
Cambridge Tracts in Theoretical Computer Science, Volume 7
Dosya:
PDF, 843 KB
IPFS:
,
english, 2003