In der Zeit vom 23.12.24 bis zum 1.1.25 sind keine Bestellungen möglich.

Result: Semantics and logics of computation

Title:
Semantics and logics of computation / ed. by Andrew M. Pitts ...
Involved:
Pitts, Andrew M. (Herausgeber) ; Dybjer, Peter (Herausgeber) ; Abramsky, Samson (Mitwirkender) ; Coquand, Thierry (Mitwirkender); Hofmann, Martin (Mitwirkender); Hyland, Martin (Mitwirkender); Moggi, Eugenio (Mitwirkender); Winskel, Glynn (Mitwirkender); Nielsen, Mogens (Mitwirkender)
Published:
Cambridge : Cambridge University Press, 1997
Scope:
XII, 361 Seiten : Diagramme
Format:
book
Language:
English
Series/ Mutipart item:
Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14
Show all volumes
RVK-Notation:
ST 140
Subject Added Keywords:
ISBN:
0521580579

Additional information

Additional functions