CRISTAL associate team

Resource Control by Semantic Interpretations and Linear Proof Theory

International partner

  • Area : Europe - CIS
  • Country : Italy
  • Institution : Dipartimento di informatica
  • Laboratory : Universita degli Studi di Torino

Keywords: Italy Associate teams INRIA Nancy - Grand Est Europe - CIS