Travelled to:
1 × The Netherlands
Collaborated with:
F.Barbanera P.Baldan F.Honsell
Talks about:
abstract (1) partial (1) languag (1) toward (1) semant (1) extend (1) domain (1) stone (1) space (1) quest (1)
Person: Fabio Alessi
DBLP: Alessi:Fabio
Contributed to:
Wrote 2 papers:
- LICS-1991-AlessiB #semantics #towards
- Towards a Semantics for the QUEST Language (FA, FB), pp. 12–21.
- TAPSOFT-1997-AlessiBH #using
- Partializing Stone Spaces using SFP Domains (Extended Abstract) (FA, PB, FH), pp. 478–489.