TY  - BOOK
AU  - Luo, Zhaohui
TI  - Computation and reasoning : a type theory for computer science
SN  - 198538359
SN  - 93046644
U1  - 004 LUO 
PY  - 1994///
CY  - Oxford
PB  - Clarendon Press; Oxford University Press
KW  - Computer science
N1  - Includes bibliographical references (p. 211-220) and index
ER  -