CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme
facilityParis, Île-de-France, France
Research output, citation impact, and the most-cited recent papers from CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
0
h-index
0
i10-index
0
Also known as
CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programmeCAMBIUM: Programming languages: type systems, concurrency, proofs of programs
Top-cited papers from CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme
No indexed publications for this institution yet.