Enlarge

Computation and reasoning : a type theory for computer science

Zhaohui Luo

Publication Data

Title Computation and reasoning : a type theory for computer science
Author Zhaohui Luo
Publisher Clarendon
Publication date 1994
Publication location Oxford
Language English

Descriptive Notes

Bibliography: p211-220. _ Includes index.

Topics

Computer science

Catalogue Data

OBNB ID GB9430552
ISBN 10 0198538359
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.015113

ISBD

P1053 xi,228p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Computation and reasoning : a type theory for computer science by Zhaohui Luo. ISBN 0198538359. Published by Clarendon in 1994. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.