Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
Propositions as sessions
Philip Wadler
School of Informatics
Laboratory for Foundations of Computer Science
Foundations of Computation
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Projects
(1)
Fingerprint
Dive into the research topics of 'Propositions as sessions'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Arts and Humanities
Linear Logic
100%
Language
66%
Revision
33%
Correspondence
33%
Computer Science
Standards
66%
Deadlock
33%
Deadlock Freedom
33%
Functional Languages
33%