Semantics and logics of computation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Pitts, A. M. (Andrew M.) (Επιμελητής έκδοσης), Dybjer, Peter (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Cambridge University Press 1997
Σειρά:Publications of the Newton Institute 14
Θέματα:
Περιγραφή
Φυσική περιγραφή:xii, 361 p. fig. 24 cm.
Βιβλιογραφία:Includes bibliographical references and index
ISBN:0521580579