Research Output

Filter
Discussion paper
Discussion paper

A Non-commutative Extension of Multiplicative Exponential Linear Logic

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

Research output: Working paperDiscussion paper