Victor Sannier? has contributed to 41 nLab pages.
| quotient type | 13:04:24, May 07 2026 |
| multiplicative conjunction | 08:39:04, April 22 2026 |
| dynamic logic | 14:15:48, March 28 2026 |
| magmoidal category | 09:07:58, February 12 2026 |
| intersection type | 15:37:37, February 10 2026 |
| intersection | 15:36:32, February 10 2026 |
| decidability | 12:42:15, February 10 2026 |
| intersection type | 12:40:37, February 10 2026 |
| ordinal analysis | 10:49:02, January 25 2026 |
| type refinement | 14:59:02, January 07 2026 |
| Sandbox | 14:41:42, January 07 2026 |
| graded linear logic | 14:47:34, December 11 2025 |
| global element | 12:33:20, November 20 2025 |
| elementary function arithmetic | 16:48:37, November 17 2025 |
| primitive recursive arithmetic | 16:37:25, November 17 2025 |
| free variable theory | 16:28:13, November 17 2025 |
| applicative functor | 00:20:34, November 04 2025 |
| applicative functor | 16:11:34, October 31 2025 |
| applicative functor | 14:57:29, October 31 2025 |
| zero object | 09:19:07, September 26 2025 |
| symmetric monoidal closed category | 15:38:25, September 25 2025 |
| contraction rule | 08:34:47, September 17 2025 |
| exchange rule | 19:05:33, July 07 2025 |
| pi-calculus | 09:22:08, March 11 2025 |
| graded linear logic | 14:54:17, January 20 2025 |
| bounded linear logic | 09:36:06, January 16 2025 |
| graded linear logic | 09:33:04, January 16 2025 |
| logical relation | 09:00:13, January 16 2025 |
| bounded linear logic | 19:43:24, January 15 2025 |
| elementary function arithmetic | 13:14:07, October 09 2024 |