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]

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!

Keine Ergebnisse!