We study an applied typed call-by-value #lambda#-calculus which in addition to the usual types for higher-order funcations contians an extra type called proc, for processes; the constructors for terms of htis type are similar to those found in standard process calculi such as CCS.
展开▼
