Skip to contents Pitts, Andrew M. [Editor]; Dybjer, Peter [Editor] ; Summer School on Semantics and Logics of Computation 1995 Cambridge 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] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, UK [u.a.]: Cambridge Univ. Press, 1997 Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14
Pitts, Andrew M. [Editor]; Dybjer, Peter [Editor] ; Summer School on Semantics and Logics of Computation 1995 Cambridge 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] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, UK [u.a.]: Cambridge Univ. Press, 1997 Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Dybjer, Peter (1) Wert ausschließen Pitts, Andrew M. (1) Wert ausschließen Summer School on Semantics and Logics of Computation 1995 Cambridge (1) Wert ausschließen Show more show less