Matthijs Vákár has contributed to 6 nLab pages.
| automatic differentiation | 15:22:38, May 17 2021 |
| automatic differentiation | 16:44:49, May 14 2021 |
| automatic differentiation | 12:16:35, April 19 2021 |
| automatic differentiation | 09:21:20, April 19 2021 |
| automatic differentiation | 15:08:41, April 17 2021 |
| automatic differentiation | 16:39:58, April 16 2021 |
| Matthijs Vákár | 15:59:27, April 16 2021 |
| backpropagation | 15:34:47, April 16 2021 |
| differential programming | 14:07:43, April 16 2021 |
| automatic differentiation | 11:42:03, April 16 2021 |
| comma category | 09:44:44, May 19 2020 |
| relation between type theory and category theory | 10:32:57, August 31 2014 |
| Matthijs Vákár | 10:32:43, August 31 2014 |
| Matthijs Vákár | 10:32:43, August 31 2014 |
| relation between type theory and category theory | 10:32:43, August 31 2014 |