Books+ Search Results
Computation and reasoning : a type theory for computer science
Author
Title
Computation and reasoning : a type theory for computer science / Zhaohui Luo.
ISBN
0198538359 :
Published
Oxford : Clarendon Press ; New York : Oxford University Press, c1994.
Physical Description
xi, 228 p. : ill. ; 24 cm.
Format
Books
Language
English
Added to Catalog
June 01, 2002
Bibliography
Includes bibliographical references (p. 211-220) and index.
Subjects
Bookmark As
Citation
