Semantics and logics of computation [based on material presented at a Summer School on Semantics and Logics of Computation that took place at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, in September 1995]

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Summer School on Semantics and Logics of Computation (BerichterstatterIn)
Weitere Verfasser:	Pitts, Andrew M. (HerausgeberIn), Dybjer, Peter (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, UK u.a. Cambridge Univ. Press 1997
Schriftenreihe:	Publications of the Newton Institute 14
Schlagworte:	Electronic data processing > Programming languages (Electronic computers) > Semantics > Logic, Symbolic and mathematical > Computer science > Logic > Konferenzschrift > Programmierung > Programmiersprache > Formale Semantik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!