Lang. descr.: terms, non-modalities
Lang. descr.: terms, mobile code
Lang. descr.: terms, addresses
Lang. descr: labeled
Lang. descr: label-free, statics
Lang. descr: label-free, dynamics and properties
Lang. descr: hybrid, type system
Lang. descr: hybrid, rest
Lang. desc: syntax: intro
Lang. desc: syntax: non-mobile code
Lang. desc: syntax: mobile code
Lang. desc: syntax: addresses
Lang. descr. fixes: labeled
Lang. descr. fixes: label-free
Lang. descr. fixes: hybrid