H ?
«
‹
←
→
›
»
Language peer sets for Cambridge LCF:
United Kingdom↑
United Kingdom/1982↑
Designed 1982 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Cambridge LCF(ID:8176/)
alternate simple view
Country: United Kingdom
Designed 1982
LCF with the PPLambda calculus
Gordon and Paulson, Uni of Cambrisge 1982
Related languages
References:
Gordon, Mike (1983) Gordon, Mike "A system for specifying and verifying hardware" Technical Report UCAM-CL-TR-41
Online copy
Gordon, Mike (1983) Gordon, Mike "Proving a computer correct with the LCF_LSM hardware verification system" Technical Report UCAM-CL-TR-42
Online copy
Paulson, Larry (1983) Paulson, Larry "Recent developments in LCF: examples of structural induction" January 1983 UCAM-CL-TR-34
Paulson, Larry (1983) Paulson, Larry "Rewriting in Cambridge LCF" UCAM-CL-TR-35 February 1983
Paulson, Lawrence (1983) Paulson, Lawrence "Structural induction in LCF" Technical Report UCAM-CL-TR-44
Online copy
Paulson, Lawrence (1983) Paulson, Lawrence "Tactics and tacticals in Cambridge LCF" Technical Report UCAM-CL-TR-39 July 1983
Paulson, Lawrence (1983) Paulson, Lawrence "The revised logic PPLAMBDA: A reference manual" UCAM-CL-TR-36 March 1983
Paulson, Lawrence (1984) Paulson, Lawrence "Lessons learned from LCF" UCAM-CL-TR-54 August 1984
Paulson, Lawrence (1984) Paulson, Lawrence "Verifying the unification algorithm in LCF" Technical Report UCAM-CL-TR-50 March 1984
Extract:
Overview of LCF
Paulson, Lawrence C. (1985) Paulson, Lawrence C. "Interactive theorem proving with Cambridge LCF
A user's manual" UCAM-CL-TR-80 November 1985
Paulson, LC (1985) Paulson, LC "Lessons learned from LCF: a survey of natural deduction proofs" pp474-479
in (1985) The Computer Journal 28(5) 1985
Paulson, L. (1987) Paulson, L. "Logic and Computation: Interactive Proof with Cambridge LCF", Cambridge U Press, 1987.
in (1985) The Computer Journal 28(5) 1985
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|