LCF: A methodology for performing rigorous proofs about programs (Invited Paper)

Robin Milner

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

Original languageEnglish
Title of host publicationProceedings of the IBM Symposium on Mathematical Foundations of Computer Science: The theory of programs and its surroundings Volume 1
PublisherIBM Japan
Number of pages30
Publication statusPublished - 1976

Cite this