Journal
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Volume -, Issue -, Pages -Publisher
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S0960129523000221
Keywords
-