Derivation and computation : taking the Curry-Howard correspondence seriously /

Bibliographic Details
Main Author: Simmons, Harold
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2000.
Series:Cambridge tracts in theoretical computer science ; 51.
Subjects:
Description
Physical Description:xxv, 384 pages ; 24 cm.
Bibliography:Includes bibliographical references (pages 375-376) and index.
ISBN:0521771730 (hb)