TY - BOOK
AU - Summer School on Semantics and Logics of Computation 1995 Cambridge
AU - Pitts, Andrew M.
AU - Dybjer, Peter
TI - 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]
PB - Cambridge Univ. Press
SN - 9780521580571
SN - 0521580579
KW - Electronic data processing
KW - Programming languages (Electronic computers) Semantics
KW - Logic, Symbolic and mathematical
KW - Computer science
KW - Logic
KW - Konferenzschrift
KW - Konferenzschrift 1995 Cambridge
KW - Programmierung
KW - Programmiersprache
KW - Formale Semantik
PY - 1997
N2 - Literaturangaben
BT - Publications of the Newton Institute ; 14
CY - Cambridge, UK [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation