Linear logic in computer science /

Άλλοι συγγραφείς: Ehrhard, Thomas, Ehrhard, Thomas, 1958-
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge : Cambridge University Press, c2004
Σειρά:London Mathematical Society lecture note series ; ; 316
Θέματα: