Lcf: A way of doing proofs with a machine

Robin Milner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science 1979
PublisherSpringer Berlin Heidelberg
Pages146-159
Number of pages14
Volume74
ISBN (Electronic)978-3-540-35088-0
ISBN (Print)978-3-540-09526-2
DOIs
Publication statusPublished - 1979

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg

Cite this