johnbernier
- Karma
- 14
- Created
- January 22, 2023 (3y ago)
- Submissions
- 0
Mathematician working in topos theory.
- The Logic of Functional Programming (lisp-ai.blogspot.com)
- Visualising information flows of finite functions (lisp-ai.blogspot.com)
- A new way of programming with information flows (lisp-ai.blogspot.com)
- The topos theory of computing: introduction to the mathematics of dataflow [pdf] (raw.githubusercontent.com)