Editing Logic for Computable Functions (section)

== References ==
{{Refbegin}}
* {{cite book
 |last1=Gordon
 |first1=Michael J.
 |author1-link=Michael J. C. Gordon
 |last2=Milner
 |first2=Arthur J.
 |last3=Wadsworth
 |first3=Christopher P.
 |date=1979
 |title=Edinburgh LCF: A Mechanised Logic of Computation
 |doi=10.1007/3-540-09724-4
 |series=Lecture Notes in Computer Science
 |volume=78
 |publisher=Springer |location=Berlin Heidelberg
 |isbn=978-3-540-09724-2 |s2cid=21159098
 }}
* {{cite book
 |last=Gordon
 |first=Michael J. C.
 |chapter=From LCF to HOL: a short history
 |url=http://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.html
 |title=Proof, language, and interaction
 |pages=169–185
 |publisher=MIT Press
 |location=Cambridge, Massachusetts
 |date=2000
 |isbn=0-262-16188-5
 |access-date=2007-10-11}}
* {{cite book
 |last1=Loeckx
 |first1=Jacques
 |last2=Sieber
 |first2=Kurt
 |date=1987
 |title=The Foundations of Program Verification
 |doi=10.1007/978-3-322-96753-4
 |edition=2nd
 |publisher=Vieweg+Teubner Verlag
 |isbn=978-3-322-96754-1}}
* {{cite manual 
 |last=Milner |first=Robin |author-link=Robin Milner
 |title=Logic for Computable Functions: description of a machine implementation.
 |publisher=Stanford University
 |date=May 1972
 |url=https://apps.dtic.mil/sti/pdfs/AD0785072.pdf}}
* {{cite book
 |last=Milner
 |first=Robin |author-link=Robin Milner
 |editor=Bečvář, Jiří
 |date=1979
 |title=Mathematical Foundations of Computer Science 1979
 |chapter=Lcf: A way of doing proofs with a machine
 |pages=146–159
 |doi=10.1007/3-540-09526-8_11
 |series=Lecture Notes in Computer Science
 |volume=74
 |publisher=Springer |location=Berlin Heidelberg
 |isbn=978-3-540-09526-2}}
{{Refend}}

{{ML programming}}

[[Category:Logic in computer science]]
[[Category:Proof assistants]]


{{Mathlogic-stub}}