A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact)

Autor:	Jacobs, Jules
Rok vydání:	2022
Předmět:	TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES session types TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Software Science concurrency lambda calculus Linear types Software and its engineering → Concurrent programming languages
Zdroj:	Dagstuhl Artifacts Series, 8, 15:1-15:2 Dagstuhl Artifacts Series, 8, 2, pp. 15:1-15:2
ISSN:	2509-8195
Popis:	This is the artifact description for the paper "A Self-Dual Distillation of Session Types". The artifact consists of mechanized proofs of the theorems listed in the paper, in the Coq proof assistant. DARTS, Vol. 8, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022), pages 15:1-15:2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e0e677ba4f3740844a5e668f96a9465 https://hdl.handle.net/https://repository.ubn.ru.nl/handle/2066/253517 Zobrazit plný text záznamu