Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
EMTST - Engineering Meta-theory of Session Types
Author(s)
Yoshida, Nobuko
Castro, David
Ferreira, Francisco
Type
Software / Code
Abstract
A Coq library to implement and reason about Session types. Together with a subject reduction for binary session types.
Version
1
Date Issued
2019-10-22
Citation
2019
URI
DOI
Copyright Statement
http://creativecommons.org/licenses/by/4.0/legalcode
Subjects
concurrency
proof assistant
meta-theory