Linking pages
- GitHub - prathyvsh/morphisms-of-computational-structures: A visual catalogue + story of morphisms displayed across computational structures. https://github.com/prathyvsh/morphisms-of-computational-structures 1 comment
- Chu construction on linear logic http://boxbase.org/entries/2019/jul/15/chu-construction/ 0 comments
- Visual Linear Logic – mathematical fantasies http://adelelopez.com/visual-linear-logic 0 comments
- But Why Is Proof by Contradiction Non-Constructive? – XOR’s Hammer https://xorshammer.com/2021/04/08/but-why-is-proof-by-contradiction-non-constructive/ 0 comments
Related searches:
Search whole site: site:arxiv.org
Search title: [1805.07518] Affine logic for constructive mathematics
See how to search.