Skip to main navigation
Skip to search
Skip to main content
The University of Brighton Home
Home
Profiles
Research units
Equipment
Projects
Research output
Activities
Student theses
Search by expertise, name or affiliation
Types and programs from Euler diagrams
James Burton
University of Brighton
Research output
:
Contribution to conference
›
Abstract
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Types and programs from Euler diagrams'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Programming Language
100%
Reasoning Rule
100%
Reasoning System
100%
Type Systems
100%
Keyphrases
Euler Diagrams
100%
Model-based Reasoning
25%
Programming Languages
50%
Reasoning Rules
25%
Reasoning System
25%
Simple Type Theory
25%
Type Systems
25%
Type Theory
25%