Thomas Leventis - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Tue 26 Mar 2019

Name:Thomas Leventis

Country:Italy

Affiliation:Università di Bologna

Personal website: https://www.irif.fr/~leventis

Contributions

2019

FOSSACS

Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces

Show activities from other conferences

ETAPS 2019-profile
View general profile