dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

2. TACS 1994: Sendai, Japan

Masami Hagiya, John C. Mitchell (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings. Lecture Notes in Computer Science 789 Springer 1994, ISBN 3-540-57887-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Last update Fri May 24 19:52:13 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page