A calculus for the mathematical theory of computation

Robin Milner

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

Original languageEnglish
Title of host publicationInternational Symposium on Theoretical Programming
EditorsAndrei Ershov, Valery A. Nepomniaschy
PublisherSpringer Berlin Heidelberg
Pages332-343
Number of pages12
ISBN (Electronic)978-3-540-38012-2
ISBN (Print)978-3-540-06720-7
DOIs
Publication statusPublished - 1974

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume5
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Cite this