999 followers
最近読んでいる論文:Girard, Scedrov, and Scott. "Normal Forms and Cut-Free Proofs as Natural Transformations" https://t.co/ZBYUk1CXGE
最近読んでいる論文:Girard, Scedrov, and Scott. "Normal Forms and Cut-Free Proofs as Natural Transformations" https://t.co/ZBYUk1CXGE