CHoCO

This is a list of references on the Curry-Howard correspondences for Concurrency (CHoCo), which I have constructed with the help of DBLP. The list is not exhaustive, and is mainly intended for my own reference. Still, I thought it may be of interest also to others, hence this page. 

Please contact me if you have suggestions of any kind; in particular, there may be relevant works that are not listed here.

Introductory Papers 

Papers 2010 - 2020

Before 2010