Theoretical aspects of computer software: International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings

Front Cover
Springer-Verlag, 1994 - Computers - 885 pages

From inside the book

What people are saying - Write a review

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

Contents

Invited Talk
1
Functional Programming
14
Lambda Calculus and Programming
16
Copyright

38 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information