• 1 WEST 4.55

Accepting PhD Students

20012018
If you made any changes in Pure these will be visible here soon.

Research Output 2001 2018

Filter
Discussion paper
2004

A Non-commutative Extension of Multiplicative Exponential Linear Logic

Guglielmi, A. & Straßburger, L., 2004, Technische Universitaet Dresden.

Research output: Working paperDiscussion paper

Cut-elimination
Linear Logic
Multiplicative
Logical operator
Sequent Calculus