Robin Milner, a Craftsman of Tools for the Mind

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

Original languageEnglish
Title of host publication25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010)
Place of PublicationLOS ALAMITOS
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages58-59
Number of pages2
ISBN (Print)978-0-7695-4114-3
DOIs
Publication statusPublished - 2010
Event25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh
Duration: 11 Jul 201014 Jul 2010

Conference

Conference25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)
CityEdinburgh
Period11/07/1014/07/10

Cite this