Table of contents

  1. Front Matter
  2. Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan
    Pages 1-15
  3. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
    Pages 16-35
  4. Jon G. Riecke, Ramesh Subrahmanyam
    Pages 76-95
  5. Paris C. Kanellakis, Dina Q. Goldin
    Pages 96-120
  6. Yves Bertot, Gilles Kahn, Laurent Théry
    Pages 141-160
  7. Henri Korver, Jan Springintveld
    Pages 161-178
  8. Yan Mei Tang, Pierre Jouvelot
    Pages 224-243
  9. Robert Cartwright, Matthias Felleisen
    Pages 244-272
  10. Martín Abadi, Luca Cardelli
    Pages 296-320
  11. Kung Chen, Martin Odersky
    Pages 347-364
  12. Andrea Asperti, Cosimo Laneve
    Pages 366-384

About these proceedings


This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.


Automat Concurrency Formal Logics Formale Logik Programmiertheorie Programming Theory Termrewriting Type Theory Typentheorie automated deduction functional programming lambda calculus programming programming language

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment