Choreographic Programming in Coq

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

Original languageEnglish
Publication dateJun 2023
Number of pages4
Publication statusPublished - Jun 2023
Event29th International Conference on Types for Proofs and Programs - Universitat Politècnica de València, Valencia, Spain
Duration: 12. Jun 202315. Jun 2023
https://types2023.webs.upv.es/Index.html

Conference

Conference29th International Conference on Types for Proofs and Programs
LocationUniversitat Politècnica de València
Country/TerritorySpain
CityValencia
Period12/06/202315/06/2023
Internet address

Keywords

  • Choreographic Programming
  • Theorem proving

Cite this