Results for 'Cambridge LCF (Computer system'

Order:
Did you mean: Cambridge LCD (Computer system
  1.  15
    Logic and Computation: Interactive Proof with Cambridge Lcf.Lawrence C. Paulson - 1987 - Cambridge University Press.
    Logic and Computation 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 methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation