Submitted on: 30 March 2000.
Revised on: 10 May 2000.
Accepted on: 27 May 2000.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
http://reply.papertrans.cn/3/215/21479/21479-22.png
http://reply.papertrans.cn/3/215/21479/21479-23.png
Submitted on: 07 April 2017.
Revised on: 15 May 2017.
Accepted on: 30 May 2017.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
http://reply.papertrans.cn/3/215/21479/21479-25.png
http://reply.papertrans.cn/3/215/21479/21479-26.png
Submitted on: 30 June 2019.
Revised on: 13 July 2019.
Accepted on: 25 July 2019.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
http://reply.papertrans.cn/3/215/21479/21479-28.png
http://reply.papertrans.cn/3/215/21479/21479-29.png
http://reply.papertrans.cn/3/215/21479/21479-30.png