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

Robin Milner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the IBM Symposium on Mathematical Foundations of Computer Science: The theory of programs and its surroundings Volume 1
Publisher	IBM Japan
Number of pages	30
Volume	1
Publication status	Published - 1976

Cite this

@inproceedings{e56e516705714756a3dd09b4d8ce6496,

title = "LCF: A methodology for performing rigorous proofs about programs (Invited Paper)",

author = "Robin Milner",

year = "1976",

language = "English",

volume = "1",

booktitle = "Proceedings of the IBM Symposium on Mathematical Foundations of Computer Science: The theory of programs and its surroundings Volume 1",

publisher = "IBM Japan",

}