Sökresultat för: Lawrence C. Paulson
Logic and Computation (Häftad)
avLawrence C. Paulson
ISBN: 9780521395601 - UTGIVEN: 1990-07This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the deno[...]
ML for the Working Programmer (Häftad)
avLawrence C. Paulson
ISBN: 9780521565431 - UTGIVEN: 1996-06The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which are extensively used throug[...]
