https://e-sygoing.link Latest links in the P category en-us Sun, 24 May 2026 16:09:14 -0400 https://e-sygoing.link/link/5756815-prasad-sanjiva Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems Tue, 12 May 2026 10:33:39 -0400 https://e-sygoing.link/go/5756815 https://e-sygoing.link/link/5756813-pitts-andrew University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties. Sun, 06 Oct 2024 09:38:45 -0400 https://e-sygoing.link/go/5756813 https://e-sygoing.link/link/5756814-pierce-benjamin-c University of Pennsylvania. Programming languages, type systems, and distributed programming. Wed, 25 Sep 2024 16:51:41 -0400 https://e-sygoing.link/go/5756814 https://e-sygoing.link/link/5756811-paulson-lawrence-c University of Cambridge - Interactive theorem proving and its applications. Sun, 01 Sep 2024 09:49:48 -0400 https://e-sygoing.link/go/5756811 https://e-sygoing.link/link/5756820-palavalli-naveen-anil University of Southern California, Los Angeles - Computer Networks. Sat, 11 Nov 2023 10:51:36 -0500 https://e-sygoing.link/go/5756820