Formalising Choreographies @ TYPES 2019

Oslo, Norway • Jun 13, 2019

On June 13th, Luís Cruz-Filipe gave a talk at the 25th International Conference on Types for Proofs and Programs (TYPES’19) about formalising “Choreographies in Coq”, a joint work with Fabrizio Montesi and Marco Peressotti.

The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.