%0 Book
%T 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]
%A Summer School on Semantics and Logics of Computation 1995 Cambridge
%A Pitts, Andrew M.
%A Dybjer, Peter
%I Cambridge Univ. Press
%@ 9780521580571
%@ 0521580579
%K Electronic data processing
%K Programming languages (Electronic computers) Semantics
%K Logic, Symbolic and mathematical
%K Computer science
%K Logic
%K Konferenzschrift
%K Konferenzschrift 1995 Cambridge
%K Programmierung
%K Programmiersprache
%K Formale Semantik
%D 1997
%X Literaturangaben
%C Cambridge Univ. Press
%C Cambridge, UK [u.a.]
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation