Recent developments in LCF
Recent developments in LCF
6 min read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Lawrence C. Paulson
Constructing recursions operat
Constructing recursions operators in intuitionistic type theory
Interactive theorem proving wi
Interactive theorem proving with Cambridge LCF
Isabelle/HOL
Lessons learned from LCF
Lessons learned from LCF
Mechanized proofs of security
Mechanized proofs of security protocols
Natural deduction proof as hig
Natural deduction proof as higher-order resolution