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
  13. Ursula Goltz, Roberto Gorrieri, Arend Rensink
    Pages 385-404
  14. D. J. B. Bosscher
    Pages 425-439
  15. Willem Jan Fokkink
    Pages 440-453
  16. M. Takahashi, Y. Akama, S. Hirokawa
    Pages 465-493
  17. Franco Barbanera, Stefano Berardi
    Pages 495-515
  18. Niels Jakob Rehof, Morten Heine Sørensen
    Pages 516-542
  19. Zena Ariola, Richard Kennaway, Jan Willem Klop, Ronan Sleep, Fer-Jan de Vries
    Pages 543-554
  20. Philippa Gardner
    Pages 555-574
  21. Moshe Y. Vardi
    Pages 575-597
  22. Kim Ritter Wagner
    Pages 598-617
  23. Tatsurou Sekiguchi, Akinori Yonezawa
    Pages 667-686
  24. Ferruccio Damiani, Paola Giannini
    Pages 707-725
  25. Zohar Manna, Amir Pnueli
    Pages 726-765
  26. Dominique Bolignano, Mourad Debabi
    Pages 766-785
  27. Kohei Honda, Nobuko Yoshida
    Pages 786-805
  28. Adriano Peron, Andrea Maggiolo-Schettini
    Pages 806-821
  29. Marcello M. Bonsangue, Joost N. Kok
    Pages 822-843
  30. Kathleen Fisher, John C. Mitchell
    Pages 844-885
  31. Albert R. Meyer
    Pages 886-886
  32. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57887-1
  • Online ISBN 978-3-540-48383-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment