Staff
Lead researcher
Collaborating research institutes, centres and groups
Research outputs
Mariangiola Dezani,
Ross Horne,
, 2012
, Theoretical Computer Science
, 464 , 113--129
Type: article