期刊书目 › BOOKS with Alphabet A (Aa, Ab,Ac, Ad, Ae…... ) › Titlebook: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction; International Summer Roland Backhouse,Roy Crole,Jeremy Gibbon

小步舞 发表于 2025-3-28 15:37:09

http://reply.papertrans.cn/16/1528/152749/152749_41.png

DAFT 发表于 2025-3-28 20:15:10

http://reply.papertrans.cn/16/1528/152749/152749_42.png

Immunization 发表于 2025-3-29 00:55:05

http://reply.papertrans.cn/16/1528/152749/152749_43.png

查看完整版本: Titlebook: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction; International Summer Roland Backhouse,Roy Crole,Jeremy Gibbon