Search results for: Federico Aschieri
Theoretical Computer Science > 2016 > 625 > C > 125-146
Annals of Pure and Applied Logic > 2013 > 164 > 6 > 591-617
Theoretical Computer Science > 2016 > 625 > C > 125-146
Annals of Pure and Applied Logic > 2013 > 164 > 6 > 591-617