TY  - BOOK
AU  - Luo,Zhaohui
TI  - Computation and reasoning: a type theory for computer science 
SN  - 0198538359 :
AV  - QA76 .L97 1994
U1  - 004 20
PY  - 1994///
CY  - Oxford, New York
PB  - Clarendon Press, Oxford University Press
KW  - Computer science
N1  - Includes bibliographical references (p. 211-220) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0606/93046644-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0606/93046644-t.html
ER  -