A matrix characterization for multiplicative exponential linear logic Kreitz, Christoph Mantel, Heiko 2004 - TUHH Open Research
Connection-based proof construction in linear logic Kreitz, Christoph Mantel, Heiko Ott, Jörg Schmitt, Stephan 1997 - TUHH Open Research