Collaborated with:
G.Manzonetto
Talks about:
plotkin (1) taylor (1) subsum (1) scott (1) berri (1) kahn (1)
Person: Davide Barbarossa
DBLP: Barbarossa:Davide
Contributed to:
Wrote 1 papers:
- POPL-2020-BarbarossaM
- Taylor subsumes Scott, Berry, Kahn and Plotkin (DB, GM), p. 23.