Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, April 10-12, 1995 Proceedings
Dezani-Ciancaglini, Mariangiola (EDT); Plotkin, Gordon (EDT)
ISBN 10: 354059048X ISBN 13: 9783540590484
Published by Springer, 1995
New
Soft cover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 6 April 2009
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 5905739-n
Synopsis:
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.
The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.
Synopsis: This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Typed Lambda Calculi and Applications : ...
Publisher: Springer
Publication Date: 1995
Binding: Soft cover
Condition: New