FP systems in edinburgh LCF

  • Jacek Leszczyłowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 107)


Inference Rule Type Operator Induction Rule Theory Kernel Theory List 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. Backus, "Can programming be liberated from the von Neumann style? A functional programming style and its algebra of programs", Comm ACM 21, 8 (1978)Google Scholar
  2. [2]
    R.Bird, "Programs and Machines; an introduction to the theory of computation", Wiley (1976)Google Scholar
  3. [3]
    A.Cohn, "High level proof in LCF", Proc. 4th Workshop on Automated deduction, Austin, Texas (1979)Google Scholar
  4. [4]
    M.Gordon, R.Milner, C.Wadsworth, "EDINBURGH LCF", Springer Verlag 1979Google Scholar
  5. [5]
    J.Leszczyłowski, "An experiment with EDINBURGH LCF", Proceedings of Fifth Conference on Automated Deduction, France, (1980)Google Scholar
  6. [6]
    J. Leszczyłowski, "Theory of FP systems in EDINBURGH LCF", Internal Report, Computer Science Department, Edinburgh University, Edinburgh, Scotland (1980)Google Scholar
  7. [7]
    R.Milner, "A theory of type polymorphism in programming", Journal of Computer and System Sciences 17 (1978)Google Scholar
  8. [8]
    R.Milner, "LCF: a way of doing proofs with a machine", Proceedings of 8th MFCS Symposium, Olomouc, Czechoslovakia (1979)Google Scholar
  9. [9]
    R.Milner, "Implementation and application of Scott's logic for computable functions", Proc. ACM Conference on Proving assertions about Programs, SIGPLAN Notices (1972)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Jacek Leszczyłowski
    • 1
  1. 1.Polish Academy of SciencesInstitute of Computer ScienceWarszawa PKiNPOLAND

Personalised recommendations