In pioneering work, Joseph Goguen used sheaves to model concurrency in computer systems. More recently, Michael Robinson has applied sheaf- ...
確定! 回上一頁