Skip to main navigation
Skip to search
Skip to main content

University of Edinburgh Research Explorer Home

Help & FAQ

Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment

Search by expertise, name or affiliation

Action calculi III: Higher-order calculi

Robin Milner

School of Informatics
Laboratory for Foundations of Computer Science

Research output: Working paper

Overview

Original language	English
Number of pages	23
Publication status	Unpublished - 1993

Cite this

APA
Author
BIBTEX
Harvard
Standard
RIS
Vancouver

Milner, R. (1993). Action calculi III: Higher-order calculi.

Milner, Robin. / Action calculi III: Higher-order calculi. 1993.

@techreport{1301fd4ba9c8465d80fa1b2afd4190ac,

title = "Action calculi III: Higher-order calculi",

author = "Robin Milner",

year = "1993",

language = "English",

type = "WorkingPaper",

}

Milner, R 1993 'Action calculi III: Higher-order calculi'.

Action calculi III: Higher-order calculi. / Milner, Robin.

1993.

Research output: Working paper

TY - UNPB

T1 - Action calculi III: Higher-order calculi

AU - Milner, Robin

PY - 1993

Y1 - 1993

M3 - Working paper

BT - Action calculi III: Higher-order calculi

ER -

Milner R. Action calculi III: Higher-order calculi. 1993.

Powered by Pure, Scopus & Elsevier Fingerprint Engine™ © 2023 Elsevier B.V.

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

University of Edinburgh Research Explorer data protection policy

About web accessibility