Travelled to:
1 × Italy
Collaborated with:
A.Bucciarelli A.Piperno I.Salvo
Talks about:
intersect (1) properti (1) comput (1) type (1) some (1)
Person: Silvia De Lorenzis
DBLP: Lorenzis:Silvia_De
Contributed to:
Wrote 1 papers:
- LICS-1999-BucciarelliLPS
- Some Computational Properties of Intersection Types (AB, SDL, AP, IS), pp. 109–118.