ISBN 9783540590484,Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Rs6974

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540590484
Check delivery information
 
ISBN 9783540590484
Publisher

Ingram Publisher Services

Publication Year 1995
ISBN-13

ISBN 9783540590484

ISBN-10 354059048X
Binding

Paperback

Number of Pages 460 Pages
Subject

Mathematical theory of computation

This volume of conference papers addresses such issues as the proof theory of type systems, logic and type systems, typed lambda calculi as models of higher-order computation, the semantics of typed systems, proof verification via type systems, and typed term rewriting systems.
Scroll