Ask for help: any previous work that has context-like type expressions?

To: types@cis.upenn.edu
Subject: Ask for help: any previous work that has context-like type expressions?
From: Xudong Guan <guan-xd@cs.sjtu.edu.cn>
Date: Tue, 19 Dec 2000 10:08:12 +0800
Organization: Distributed Computing Technology Center, Shanghai Jiaotong Univ.
Reply-To: Xudong Guan <guan-xd@cs.sjtu.edu.cn>


Dear types researchers,

I am currently writing a paper on types for the ambient calculus.
In my type system, a context-like type expression is adopted to make
the system concise and easy-to-prove.  To my knowledge, no previous
work on types for the ambient calculus has such construction.
I wonder is there any existing type system in other fields that has
context-like type expressions?

To go a little further on my work, please read the following.
A process is what we want to type.  A typable process will have a type,
denoted by T.  A process may has the form M.P, where M is some action
and P is some other process.  Suppose M has type W and P has type T.
To derive the type of M.P, T', one way is to define some function F, which
calculates T' from W and T.  Another way is to let W itself to be some
function, when given T, results T'.  When F is difficult to find, the
second way is prefered. In this case, W could be regarded as a type context.

For those interested, a 5-page draft is avaliable at:
    http://go.163.com/~mobileambient/teadraft.zip

Best regards,

Xudong

-----------------------------------------------------------------------
Xudong Guan                                               PhD Candidate
Email: guan-xd@cs.sjtu.edu.cn   Distributed Computing Technology Center
Tel:   +86-21-52581638 ext.17          Room 1105, Haoran Hitech Mansion
Visit my mobile ambient page at:               Shanghai Jiao Tong Univ.
http://go.163.com/~mobileambient/               Shanghai, China, 200030
-----------------------------------------------------------------------