Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : Selected Papers

Front Cover
Leszek Pacholski, Jerzy Tiuryn
Springer-Verlag, 1995 - Computer logic - 541 pages

From inside the book

What people are saying - Write a review

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

Contents

LAMBDA CALculus
16
The Girard Translation Extended with Recursion
31
Decidability of HigherOrder Subtyping with Intersection Types
46
Copyright

35 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information