Choreographic Programming in Coq

Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

Originalsprog	Engelsk
Publikationsdato	jun. 2023
Antal sider	4
Status	Udgivet - jun. 2023
Begivenhed	29th International Conference on Types for Proofs and Programs - Universitat Politècnica de València, Valencia, Spanien Varighed: 12. jun. 2023 → 15. jun. 2023 https://types2023.webs.upv.es/Index.html

Konference	29th International Conference on Types for Proofs and Programs
Lokation	Universitat Politècnica de València
Land/Område	Spanien
By	Valencia
Periode	12/06/2023 → 15/06/2023
Internetadresse	https://types2023.webs.upv.es/Index.html

SDU link

@conference{7cf40e9ee4e940a7bc5ff9c4c9dbf5f8,

title = "Choreographic Programming in Coq",

keywords = "Choreographic Programming, Theorem proving",

author = "Rasmussen, {Robert R.} and Lu{\'i}s Cruz-Filipe and Fabrizio Montesi and Lovro Lugovic and Marco Peressotti",

year = "2023",

month = jun,

language = "English",

pages = "73--76",

note = "29th International Conference on Types for Proofs and Programs ; Conference date: 12-06-2023 Through 15-06-2023",

url = "https://types2023.webs.upv.es/Index.html",

}

TY - ABST

T1 - Choreographic Programming in Coq

AU - Rasmussen, Robert R.

AU - Cruz-Filipe, Luís

AU - Montesi, Fabrizio

AU - Lugovic, Lovro

AU - Peressotti, Marco

PY - 2023/6

Y1 - 2023/6

KW - Choreographic Programming

KW - Theorem proving

UR - https://easychair.org/smart-program/TYPES2023/

M3 - Conference abstract for conference

SP - 73

EP - 76

T2 - 29th International Conference on Types for Proofs and Programs

Y2 - 12 June 2023 through 15 June 2023

ER -