2. TACS 1994: Sendai, Japan

Invited Talk 1

Session 1. Lambda Calculus and Programming

Invited Talk 2

Session 2. Automated Deduction

Session 3. Functional Programming

Invited Talk 3

Session 4. Objects and Assignment

Invited Talk 4

Session 5. Concurrency I

Session 6. Term Rewriting and Process Equivalence

Invited Talk 5

Session 7. Type Theory and Programming

Invited Talk 6

Session 8. Algebra, Categories and Linear Logic

Session 9. Subtyping, Intersection and Union Types

Invited Talk 7

Session 10. Concurrency II

TACS Special Open Lectures