Home » Pubblicazioni

Pubblicazioni (Dal Lago, Ugo)

On Session Types and Polynomial Time

Paolo Di Giamberardino, Ugo Dal Lago (2014) ()

Soft Session Types

Paolo Di Giamberardino, Ugo Dal Lago (2011) (pdf)