Research facility · founded 2019
CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme
Paris, France · inria.fr/equipes/cambium
Part of Institut national de recherche en sciences et technologies du numérique
- Citations, last 5 years
- 10
- Works, last 5 years
- 25
- h-index
- 19
- Scientists listed
- 2
- Grants since 2016
- 0
Scientists
Researchers whose latest known affiliation is CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme, by citations in the last five years.
1Luc MarangetCAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme · FranceComputer Science30citations, 5 yrs5works, 5 yrs25h-index2Samuel VivienCAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme · FranceComputer Science8citations, 5 yrs5works, 5 yrs1h-index