L. Cardelli
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Anytime, Anywhere: Modal Logics for Mobile Ambients
L. Cardelli and others (2000) · POPL’00
Sticks and stones: an applicative VLSI design language
L. Cardelli (1981) · Department of Computer Science, University of Edinburgh