Skip to main navigation
Skip to search
Skip to main content
the University of Bath's research portal Home
Help & FAQ
Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research units
Search by expertise, name or affiliation
A Non-commutative Extension of MELL
A Guglielmi
, L Strassburger
Department of Computer Science
Mathematical Foundations of Computation
Research output
:
Contribution to conference
›
Paper
20
Citations (SciVal)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A Non-commutative Extension of MELL'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Calculus
21%
Cut-elimination
68%
Decompose
17%
Extended Systems
35%
Generalization
13%
Linear Logic
100%
Logical operator
42%
Modeling
17%
Multiplicative
67%
Operator
12%
Range of data
16%
Sequent Calculus
66%