names.value: CAMBIUM
names.types: acronym
names.value: CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme
names.types: label ror_display
names.lang: fr
names.value: CAMBIUM: Programming languages: type systems, concurrency, proofs of programs
names.types: label
names.lang: en
relationships.type: parent
relationships.label: Centre Inria de Paris
relationships.id: https://ror.org/05eyd5d35