EMTST - Engineering Meta-theory of Session Types
| Main Authors: | Castro, David, Ferreira, Francisco, Yoshida, Nobuko |
|---|---|
| Format: | info software eJournal |
| Terbitan: |
, 2019
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/3516299 |
| ctrlnum |
3516299 |
|---|---|
| fullrecord |
<?xml version="1.0"?>
<dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><creator>Castro, David</creator><creator>Ferreira, Francisco</creator><creator>Yoshida, Nobuko</creator><date>2019-10-22</date><description>A Coq library to implement and reason about Session types. Together with a subject reduction for binary session types.</description><identifier>https://zenodo.org/record/3516299</identifier><identifier>10.5281/zenodo.3516299</identifier><identifier>oai:zenodo.org:3516299</identifier><relation>doi:10.5281/zenodo.3516298</relation><relation>url:https://zenodo.org/communities/sessiontypes</relation><rights>info:eu-repo/semantics/openAccess</rights><rights>https://creativecommons.org/licenses/by/4.0/legalcode</rights><subject>concurrency</subject><subject>proof assistant</subject><subject>meta-theory</subject><title>EMTST - Engineering Meta-theory of Session Types</title><type>Other:info:eu-repo/semantics/other</type><type>Other:software</type><recordID>3516299</recordID></dc>
|
| format |
Other:info:eu-repo/semantics/other Other Other:software Journal:eJournal Journal |
| author |
Castro, David Ferreira, Francisco Yoshida, Nobuko |
| title |
EMTST - Engineering Meta-theory of Session Types |
| publishDate |
2019 |
| topic |
concurrency proof assistant meta-theory |
| url |
https://zenodo.org/record/3516299 |
| contents |
A Coq library to implement and reason about Session types. Together with a subject reduction for binary session types. |
| id |
IOS17403.3516299 |
| institution |
Universitas PGRI Palembang |
| institution_id |
189 |
| institution_type |
library:university library |
| library |
Perpustakaan Universitas PGRI Palembang |
| library_id |
587 |
| collection |
Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized |
| repository_id |
17403 |
| city |
KOTA PALEMBANG |
| province |
SUMATERA SELATAN |
| repoId |
IOS17403 |
| first_indexed |
2022-07-26T01:33:09Z |
| last_indexed |
2022-07-26T01:33:09Z |
| recordtype |
dc |
| merged_child_boolean |
1 |
| _version_ |
1739401622143893504 |
| score |
17.538404 |