Category Theory (Course Exercise Solutions)
Department of Computer Science and Technology – Course pages 2022–23: Category Theory – Course materials (cam.ac.uk) 自己做了下,感觉很有趣
Galois Connection & Galois Embedding
黄前久美子:“不嫉妒比自己优秀的人,到底是优点还是缺点呢,我应该说些什么吗。这种小事让我不自觉地思考,有种令人害怕却无法否认的要钻进牛角尖里的感觉,它将我的不成熟摆在眼前,我也因此竭尽全力。”
A Correctness and Incorrectness Program Logic
ROBERTO BRUNI, University of Pisa, Italy
ROBERTO GIACOBAZZI, University of Verona, Italy
ROBERTA GORI, University of Pisa, Italy
FRANCESCO RANZATO, University of Padova, Italy
A Quantum Interpretation of Bunched Logic And Quantum Separation Logic
年轻人!怎么,对这古老的祖国你不打算出点力?
Communication Complexity and Lower Bounds for Streaming Algorithm
如果莎士比亚只会一个单词,那么他的皇皇巨著也就是在阿巴阿巴。
Sketching Algorithms for Big Data
快乐的时光,就像铃铛滚过坡路一般急速逝去,唯留余音。平淡无奇的季节在疏忽之中变化着。
Harvard CS 226/MIT 6.889