The following pages link to Frank Pfenning (Q476188):
Displaying 50 items.
- (Q236746) (redirect page) (← links)
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- A linear logical framework (Q1400718) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- Structural cut elimination. I: Intuitionistic and classical logic (Q1854335) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Nested session types (Q2233456) (← links)
- Uniform proofs as a foundation for logic programming (Q2640596) (← links)
- A judgmental reconstruction of modal logic (Q2746757) (← links)
- (Q2751369) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Monitors and blame assignment for higher-order session types (Q2828298) (← links)
- (Q2871879) (← links)
- Linear Logical Relations for Session-Based Concurrency (Q2892750) (← links)
- Functions as Session-Typed Processes (Q2892782) (← links)
- A Linear Logic Programming Language for Concurrent Programming over Graph Structures (Q2931260) (← links)
- A type theory for memory allocation and data layout (Q2942924) (← links)
- Intersection types and computational effects (Q2943370) (← links)
- Polarized Substructural Session Types (Q2948548) (← links)
- (Q3024905) (← links)
- (Q3034803) (← links)
- Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance (Q3064169) (← links)
- (Q3086784) (← links)
- (Q3086786) (← links)
- Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198) (← links)
- (Q3142167) (← links)
- Substructural Proofs as Automata (Q3179272) (← links)
- A modal analysis of staged computation (Q3196622) (← links)
- (Q3204068) (← links)
- (Q3338233) (← links)
- (Q3343471) (← links)
- Tridirectional typechecking (Q3452267) (← links)
- Linear Logical Algorithms (Q3519512) (← links)
- A Coverage Checking Algorithm for LF (Q3559763) (← links)
- Session Types as Intuitionistic Linear Propositions (Q3584932) (← links)
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method (Q3613403) (← links)
- Refinement Types as Proof Irrelevance (Q3637193) (← links)
- (Q3797157) (← links)
- (Q4012879) (← links)
- (Q4222777) (← links)
- (Q4223031) (← links)
- (Q4249901) (← links)
- (Q4261096) (← links)
- (Q4263877) (← links)
- (Q4264727) (← links)
- On the unification problem for Cartesian closed categories (Q4358059) (← links)
- A module system for a programming language based on the LF logical framework (Q4399511) (← links)
