Author: DEZANI-CIANCAGLINI, MARIANGIOLA; PLOTKIN, GORDON (EDS.)
Title: Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Description: New York, Springer-Verlag, 1995. Ed.: Reprint. Paperback. ISBN: 9783540590484. Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 902 This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK. Very Good/Wraps.

Keywords: Computer Science 9783540590484


See more books from our catalog: Computer Science