Lawrence C. Paulson

Author

Lawrence C. Paulson

Wikipedia
Lawrence C. Paulson
Share on Twitter



 
Books
 
 
Wall
 
 
 
Fans
 
 

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Isabelle/Hol
Isabelle/Hol
A Proof Assistant for Higher-order Logic »
 
 
 
 
 

Logic And Computation
Logic And Computation
Interactive Proof With Cambridge Lcf »
 
 
 
 
 

Ml For The Working Programmer
Ml For The Working Programmer
This textbook explains how to program in the ML language, and teaches the fundamentals of functional programming. This edition includes coverage of modules, ... »
 
 
 
 
 

 
domReadyCallbacks.push( function() { new Error('Sorry, you can only do this when you're logged in. If you're not a member yet, please join us.'); });