Content deleted Content added
→References: clean up using AWB |
cite 3 more sources |
||
Line 7:
{{Reflist}}
{{Refbegin}}
* {{cite book
| last1 = Gordon
| author1link = 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
| ___location =
| series = Lecture Notes in Computer Science
| volume = 78
| publisher = Springer Berlin Heidelberg
| isbn = 978-3-540-09724-2 }}
* {{cite web
| last = Gordon
| first = Michael J. C.
| year = 1996▼
▲ | authorlink = Michael J. C. Gordon
▲ | year=1996
| title = From LCF to HOL: a short history
| url = http://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.html
| accessdate = 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
| ___location =
| edition = 2nd
| publisher = Vieweg+Teubner Verlag
| isbn = 978-3-322-96754-1 }}
* {{cite manual
| author = Milner, Robin
Line 23 ⟶ 50:
| ref = lcf
}}
* {{cite book
| last = Milner
| first = Robin
| 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 Berlin Heidelberg
| isbn = 978-3-540-09526-2
| access-date = 16 February 2016 }}
{{Refend}}
| |||