nLab
Author — Matthijs Vákár

Overview

Matthijs Vákár has contributed to 6 nLab pages.

Most recent contributions

automatic differentiation 11:22:38, May 17 2021
automatic differentiation 12:44:49, May 14 2021
automatic differentiation 08:16:35, April 19 2021
automatic differentiation 05:21:20, April 19 2021
automatic differentiation 11:08:41, April 17 2021
automatic differentiation 12:39:58, April 16 2021
Matthijs Vákár 11:59:27, April 16 2021
backpropagation 11:34:47, April 16 2021
differential programming 10:07:43, April 16 2021
automatic differentiation 07:42:03, April 16 2021
comma category 05: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

All pages contributed to