Loading...

Koko Muroya: Program semantics with token passing

290 5________

HYBRID EVENT

Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France)
Filmmaker: Guillaume Hennenfent

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: library.cirm-math.fr/. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, bibliographies, Mathematical area

コメント