| user: | johnbernier |
| created: | January 22, 2023 |
| karma: | 14 |
| about: | Mathematician working in topos theory. |
| 1. | The Logic of Functional Programming(lisp-ai.blogspot.com) |
| 2. | Visualising information flows of finite functions(lisp-ai.blogspot.com) |
| 3. | A new way of programming with information flows(lisp-ai.blogspot.com) |
| 4. | The topos theory of computing: introduction to the mathematics of dataflow [pdf](raw.githubusercontent.com) |