Frank Pfenning

1. Uniform proofs as a foundation for logic programming
   1991/03/01 by Dale Miller, Gopalan Nadathur, Frank Pfenning +1 · 3 citations
2. On Equivalence and Canonical Forms in the LF Type Theory
   2001/10/11 by Robert Harper, Frank Pfenning, Harper, Robert +1 · 1 citation
   Computer Science · Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #cs.LO
3. Substructural Parametricity
   2025/03/05 by C. B. Aberlé, Aberlé, C. B., Chris Martens +3 · 1 voice · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL
4. Nested Session Types
   2020/10/13 by Ankush Das, Das, Ankush, Henry DeYoung +5 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL)
5. The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference
   2026/07/20 by Hemant Gouni, Frank Pfenning, Jonathan Aldrich
   #cs.PL #cs.CR