Search - List of Books by Zhaohui Luo

Total Books: 1
Computation and Reasoning A Type Theory for Computer Science
1994 - Computation and Reasoning a Type Theory for Computer Science [International Series of Monographs on Computer Science] (Hardcover)
ISBN-13: 9780198538356
ISBN-10: 0198538359
Genre: Computers & Technology
  ?