Thomas Leventis

Registered user since Tue 26 Mar 2019

Name:Thomas Leventis
Country:Italy
Affiliation:Università di Bologna

Contributions

FOSSACS 2019 Author of Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces within the FOSSACS 2019-track