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 ? |
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 ? |