https://e-sygoing.link Latest links in the Forums and Networks category en-us Sun, 24 May 2026 02:11:45 -0400 https://e-sygoing.link/link/5758614-the-types-forum E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory. Sat, 18 Oct 2025 08:36:22 -0400 https://e-sygoing.link/go/5758614 https://e-sygoing.link/link/5758615-information-based-complexity Resources for computational complexity problems in the presence of partial or contaminated information. Mon, 03 Feb 2025 05:35:03 -0500 https://e-sygoing.link/go/5758615