Linear Logic in Computer Science
Linear Logic in Computer Science
2014-05-14 • 393 sayfa
Yazan Paul Ruet, Thomas Ehrhard, Jean-Yves Girard, Philip Scott, J W S Cassels, Savilian Professor of Geometry N J Hitchin
0
0
This book illustrates linear logic in the application of proof theory to computer science.
Raf ilerlemesi
Linear Logic in Computer Science
Paul Ruet, Thomas Ehrhard, Jean-Yves Girard, Philip Scott, J W S Cassels, Savilian Professor of Geometry N J Hitchin
0%0 / 393 sf
—
Tüm yorumlar
0Bu cilt için henüz görünür yorum yok.
Puanın