Research Output 1970 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