conf.researchr.org / Hugo López

Registered user since Thu 27 Aug 2015
Name: Hugo López
Country: Colombia
Affiliation: IT University of Copenhagen, Denmark & DCR Solutions A/S
Personal website: http://hugo.lopezacosta.net
Research interests: Concurrency Theory, Type Theory, Semantics of Programming Languages
Contributions