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