program semantics - Robuta Search

https://www.carmin.tv/fr/collections/linear-logic-winter-school-ecole-dhiver-de-logique-lineaire/video/program-semantics-with-token-passing Program semantics with token passing | Vidéo | Carmin.tv program semantics token passing carmin