Skip to main navigation
Skip to search
Skip to main content
University of Bristol Home
Help & Terms of Use
Home
Profiles
Research units
Research Outputs
Projects
Student theses
Datasets
Activities
Prizes
Facilities/Equipment
Search by expertise, name or affiliation
Modalities, cohesion, and information flow
G. A. Kavvos
*
*
Corresponding author for this work
Department of Computer Science
Research output
:
Contribution to journal
›
Article (Academic Journal)
›
peer-review
12
Citations (Scopus)
261
Downloads (Pure)
Overview
Fingerprint
Profiles
(1)
Fingerprint
Dive into the research topics of 'Modalities, cohesion, and information flow'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Calculus
100%
Type Theory
100%
Computer Science
Type Constructor
100%
Denotational Semantics
100%