A Parametric Calculus for Mobile Open Code (Q2864499)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Parametric Calculus for Mobile Open Code |
scientific article |
Statements
A Parametric Calculus for Mobile Open Code (English)
0 references
6 December 2013
0 references
process calculi
0 references
mobile code
0 references
rebinding
0 references
dynamic typing
0 references
subtyping
0 references
