Geodesic

Computational Logic and Applications (CLA'19)

Sommaire

Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency
Unary profile of lambda terms with restricted De Bruijn indices