Logical semantics for concurrent lamda-calculus by M. Dezani-Ciancaglini