A calculus for the mathematical theory of computation

Robin Milner

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

Original language	English
Title of host publication	International Symposium on Theoretical Programming
Editors	Andrei Ershov, Valery A. Nepomniaschy
Publisher	Springer
Pages	332-343
Number of pages	12
ISBN (Electronic)	978-3-540-38012-2
ISBN (Print)	978-3-540-06720-7
DOIs	https://doi.org/10.1007/3-540-06720-5_21
Publication status	Published - 1974

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	5
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

@inproceedings{35aecd91a49d44438f4c381977e60920,

title = "A calculus for the mathematical theory of computation",

author = "Robin Milner",

year = "1974",

doi = "10.1007/3-540-06720-5_21",

language = "English",

isbn = "978-3-540-06720-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "332--343",

editor = "Andrei Ershov and Nepomniaschy, {Valery A.}",

booktitle = "International Symposium on Theoretical Programming",

address = "United Kingdom",

}

TY - GEN

T1 - A calculus for the mathematical theory of computation

AU - Milner, Robin

PY - 1974

Y1 - 1974

U2 - 10.1007/3-540-06720-5_21

DO - 10.1007/3-540-06720-5_21

M3 - Conference contribution

SN - 978-3-540-06720-7

T3 - Lecture Notes in Computer Science

SP - 332

EP - 343

BT - International Symposium on Theoretical Programming

A2 - Ershov, Andrei

A2 - Nepomniaschy, Valery A.

PB - Springer

ER -