Models of LCF

Robin Milner

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

Original languageEnglish
Title of host publicationMathematical Centre Tracts
Place of PublicationAmsterdam
PublisherMathematisch Centrum
Pages49-63
Number of pages15
Volume82
Publication statusPublished - 1976

Cite this