Dialogue with a Proof System

Robin Milner

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

Original languageEnglish
Title of host publicationTAPSOFT'87 Vol.1
Subtitle of host publicationProceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
Number of pages5
ISBN (Electronic)978-3-540-47746-4
Publication statusPublished - 1987

Cite this