Hostname: page-component-77f85d65b8-2tv5m Total loading time: 0 Render date: 2026-03-26T23:03:13.411Z Has data issue: false hasContentIssue false
  • English
  • Français

Functional Pearl Deduction for functional programmers

Part of: JFP Research Articles

Published online by Cambridge University Press:  07 November 2008

J. J Leifer  and
B. A Sufrin
J. J Leifer*
Affiliation:
Cambridge University Computing Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK
B. A Sufrin
Affiliation:
Oxford University Programming Research Group, Wolfson Building, Parks Road, Oxford OX1 3QD, UK
*
† E-mail: James.Leifer@cl.cam.ac.uk
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Information

Type
Articles
Information
Journal of Functional Programming , Volume 6 , Issue 2 , March 1996 , pp. 365 - 373
Copyright
Copyright © Cambridge University Press 1996

References

Ben-Ari, M. (1993) Mathematical Logic for Computer Science. Prentice Hall.Google Scholar
Gordon, M. J. C., Milner, A. J. R. G. and Wadsworth, C. P. (1979) Edinburgh LCF: Lecture Notes in Computer Science 78. Springer-Verlag.CrossRefGoogle Scholar
Hamilton, A. G. (1993) Logic for Mathematicians. Cambridge University Press.Google Scholar
Jones, M. P. (1991) An Introduction to Gofer. Available, with compiler source code, via anonymous ftp from nebula. cs. yale. edu.Google Scholar
Leifer, J. (1995) Formal Logic via Function Programming. Available via anonymous ftp from ftp.comlab.ox.ac.uk in pub/Packages/JAPE/LogicViaFP/.Google Scholar
Paulson, L. C. (1994) Introduction to Isabelle. Computer Laboratory, Cambridge University.CrossRefGoogle Scholar
Submit a response

Discussions

No Discussions have been published for this article.