Valeria de Paiva has contributed to 170 nLab pages.
| Sophie Libkind | 09:48:36, October 02 2025 |
| Dialectica interpretation | 23:46:41, August 18 2025 |
| graded modality | 17:52:55, August 14 2025 |
| temporal logic | 18:33:35, August 05 2025 |
| Dialectica interpretation | 22:11:02, July 12 2025 |
| temporal logic | 19:13:06, June 19 2025 |
| André Joyal | 04:02:45, April 07 2025 |
| differential category | 17:53:38, March 28 2025 |
| differential linear logic | 21:56:13, March 27 2025 |
| categories mailing list | 01:40:47, March 27 2025 |
| explicit substitution | 23:48:30, February 11 2025 |
| Brian Day | 00:38:30, January 27 2025 |
| minimal logic | 22:50:19, January 19 2025 |
| true proposition | 02:33:21, January 03 2025 |
| truth value | 02:32:29, January 03 2025 |
| proposition | 02:31:34, January 03 2025 |
| axiom | 02:30:51, January 03 2025 |
| Hilbert's program | 02:29:53, January 03 2025 |
| proof | 02:28:18, January 03 2025 |
| proof theory | 02:27:33, January 03 2025 |
| foundation of mathematics | 02:25:45, January 03 2025 |
| Curry's paradox | 02:21:30, January 03 2025 |
| axiom of full comprehension | 02:19:20, January 03 2025 |
| axiom of foundation | 16:26:11, January 02 2025 |
| axiom of extensionality | 16:23:51, January 02 2025 |
| Dialectica interpretation | 01:44:58, December 31 2024 |
| HOL Light | 21:10:04, December 30 2024 |
| NuPRL | 21:09:31, December 30 2024 |
| Lean | 21:08:08, December 30 2024 |
| geogebra | 21:02:25, December 30 2024 |