Choreographic Programming in Coq

Research output: Contribution to conference without publisher/journal › Conference abstract for conference › Research › peer-review

Original language	English
Publication date	Jun 2023
Number of pages	4
Publication status	Published - Jun 2023
Event	29th International Conference on Types for Proofs and Programs - Universitat Politècnica de València, Valencia, Spain Duration: 12. Jun 2023 → 15. Jun 2023 https://types2023.webs.upv.es/Index.html

Conference	29th International Conference on Types for Proofs and Programs
Location	Universitat Politècnica de València
Country/Territory	Spain
City	Valencia
Period	12/06/2023 → 15/06/2023
Internet address	https://types2023.webs.upv.es/Index.html

Keywords

@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 -