Margins
Lawrence C. Paulson
Author · 2 books

Series

Cambridge Tracts in Theoretical Computer Science book cover 1
Cambridge Tracts in Theoretical Computer Science book cover 2
Cambridge Tracts in Theoretical Computer Science book cover 3
Cambridge Tracts in Theoretical Computer Science
Series · 32 books
By D.A. Wolfram, Andrew Ireland, Peter D. Mosses, and more

Books

Logic and Computation book cover

Logic and Computation

Interactive Proof with Cambridge LCF

1987

ML for the Working Programmer, 2nd Edition book cover

ML for the Working Programmer, 2nd Edition

1991

Margins
We're hiring →
Download on App StoreSign up for Android Waitlist
548 Market St PMB 65688, San Francisco California 94104-5401 USA
hello@margins.app·+1 (650) 223-5283
© 2025 Paratext Inc. All rights reserved
Lawrence C. Paulson