Theoretical Aspects of Computer Software: International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings

Front Cover
Masami Hagiya, John C. Mitchell
Springer Science & Business Media, Mar 30, 1994 - Computers - 892 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
16
III
36
IV
56
V
76
VI
96
VII
121
VIII
141
XXIV
454
XXV
465
XXVI
493
XXVII
514
XXVIII
541
XXIX
553
XXXI
573
XXXIII
596

IX
161
X
179
XI
203
XII
224
XIII
244
XIV
273
XV
296
XVI
321
XVII
347
XVIII
365
XIX
366
XX
385
XXI
405
XXII
425
XXIII
440
XXXIV
616
XXXVI
640
XXXVIII
665
XXXIX
685
XLI
705
XLII
724
XLIV
764
XLV
778
XLVII
798
XLIX
814
LI
836
LIII
878
LV
879
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information