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
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
A system of interaction and structure
A Guglielmi
Department of Computer Science
Mathematical Foundations of Computation
Research output
:
Contribution to journal
›
Article
›
peer-review
114
Citations (SciVal)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A system of interaction and structure'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Sequent Calculus
100%
Inference Rule
50%
Logical Operator
50%
Mathematics
Calculus
100%
Linear Logic
25%
Multiplicative
25%
Logical System
25%
Engineering
Logical Operator
100%