Sites Inria

There are 1 Results with the keyword : "Team project"

© INRIA Sophie Auvin - P comme Protocole

Team-project seminar

Prosecco seminar

7/12/2017

A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST

Place : INRIA - Paris -2 rue Simone Iff - Salle Lions 2, bâtiment C

Guest(s) : Amin Timany, KU Leuven

Keywords:

Home > Centre > Paris > Calendar > Seminaire Prosecco

lire la suite

Top