Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk

Glynn Winskel

doi:10.7146/brics.v1i1.21669

Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk

Authors

Glynn Winskel

DOI:

https://doi.org/10.7146/brics.v1i1.21669

Abstract

This is a transcript of a talk at the inauguration of BRICS, Basic Research in Computer Science, Centre of the Danish Research Foundation, on 2 February 1994 at the Steno museum, University of Aarhus, Denmark.

Downloads

Published

1994-02-03

How to Cite

Winskel, G. (1994). Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk. BRICS Report Series, 1(1). https://doi.org/10.7146/brics.v1i1.21669