Logic for Computable Functions: Difference between revisions

Revision as of 02:54, 23 January 2023

Revision as of 19:18, 29 February 2024

Line 31:

{{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

| access-date = 2007-10-11 |title=Proof, language, and interaction

|pages=169–185

|publisher=MIT Press
|___location=Cambridge, MAMassachusetts
|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, Robin

| title = Logic for Computable Functions: description of a machine implementation.

| publisher = Stanford University

| date = May 1972

| url = http://www.dtic.mil/dtic/tr/fulltext/u2/785072.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}}

{{Mathlogic-stub}}