Back to Results
First PageMeta Content
Mathematical logic / Lambda calculus / Logic in computer science / Models of computation / Curry–Howard correspondence / Natural deduction / Symbol / Valuation / Π-calculus / Mathematics / Proof theory / Theoretical computer science


Control in the π-Calculus [Extended Abstract] 1. Kohei Honda
Add to Reading List

Document Date: 2004-01-11 10:44:35

Open Document

File Size: 97,64 KB

Share Result on Facebook

City

Oxford / /

Company

ACM Press / /

Country

Netherlands / /

Currency

pence / USD / /

/

Facility

Kohei Honda Nobuko Yoshida Martin Berger Queen Mary Imperial College / Imperial College / University of Leicester / University of Edinburgh / /

MusicGroup

B.C. / /

Organization

University of Leicester / Imperial College London / University of Edinburgh / /

Person

Passing Style / Thielecke / Ai / Pierre-Louis Curien / Nobuko Yoshida / Martin Berger / Kohei Honda / Mary kohei / Kohei Honda Nobuko Yoshida Martin / /

/

Position

General / Walker / Queen / /

ProgrammingLanguage

Lisp / /

ProvinceOrState

British Columbia / /

Technology

dom / flow control / /

URL

www.doc.ic.ac.uk/˜yoshida / www.mcs.le.ac.uk/˜yoshida / www.doc.ic.ac.uk/˜yoshdia / /

SocialTag