Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Models of computation / Denotational semantics / Operational semantics / Structure / Lambda calculus / Theoretical computer science / Mathematics / Mathematical logic


JFP 19 (6): 699–722, c Cambridge University Press 2009  699
Add to Reading List

Document Date: 2009-11-01 21:42:18

Open Document

File Size: 375,67 KB

Share Result on Facebook

Company

Cambridge University Press / /

/

Event

FDA Phase / /

Facility

KEIKO NAKATA Institute of Cybernetics / Kyoto University / Tallinn University of Technology / MASAHITO HASEGAWA Research Institute / /

Organization

Tallinn University of Technology / Tallinn / Cambridge University / KEIKO NAKATA Institute of Cybernetics / Institute for Mathematical Sciences / V N / Kyoto University / Kyoto / /

Person

Reiji Nakajima / /

/

Position

canonical representative / Professor / evaluator / /

Product

E1 / M1 / M2 / /

RadioStation

Fm 6 / /

Technology

dom / /

SocialTag