activity
20212026
most citedOn Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)

1 citations · 2 across the 9 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.LO2021

Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications

Ugo Dal Lago, Valeria de Paiva

This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications,…