A matrix characterization for multiplicative exponential linear logic Kreitz, Christoph Mantel, Heiko 2004 - TUHH Open Research
Controlled declassification based on intransitive noninterference Mantel, Heiko Sands, David 2004 - TUHH Open Research