H ? « ‹ ← → › »

Language peer sets for PPLambda:
United Kingdom↑
United Kingdom/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

PPLambda(ID:1353/ppl002)

alternate simple view
Country: United Kingdom
Designed 1987
Published: 1987

Essentially the first-order predicate calculus superposed upon the simply-typed polymorphic lambda-calculus. The object language for LCF.

Structures:
Related languages
Cambridge LCF → PPLambda   Component of
References:
  • 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