Computation and reasoning
Subtitle: a type theory for computer science
By: Zhaohui Luo.
Series: International series of monographs on computer science
Publisher: Clarendon Press; Oxford University Press
Published: 1994
Place of publication: Oxford; New York
Language: eng
Number of pages: 228
Subjects: Computer science.
Notes: Includes bibliographical references (p. 211-220) and index.