BRICS Report Series


Journal Homepage Image

The BRICS RS series covers to theoretical computer science in a broad sense.More specifically, the series contains contributions to areas including Algorithms, Data Structures, Complexity Theory, Cryptography, Semantics, Programming Languages, Logics in Computer Science, Concurrency, Verification, and Bioinformatics.

Announcements

 

Announcement

 

We are happy to announce, that our highly regarded BRICS RS preprint series by the Computer Science Department, Aarhus University, DK, now are accessible by our Open Journal System (OJS) server.

 
Posted: 2015-08-17
 
More Announcements...

No 7 (2008): RS-7 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: ...

Table of Contents

Articles

Olivier Danvy
PDF