• Semantics and logics of comput...
  • Bestand

Treffer: Semantics and logics of computation

Titel:
Semantics and logics of computation / ed. by Andrew M. Pitts ...
Beteiligt:
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)
Veröffent­licht:
Cambridge : Cambridge University Press, 1997
Umfang:
XII, 361 Seiten : Diagramme
Format:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14
alle Bände anzeigen
RVK-Notation:
ST 140
Schlagworte:
ISBN:
0521580579

Zusatz-Informationen

Zusatz-Funktionen