The following pages link to Frank Pfenning (Q476188):
Displaying 5 items.
- Logical approximation for program analysis (Q1929363) (← links)
- A judgmental reconstruction of modal logic (Q2746757) (← links)
- Linear Logical Relations for Session-Based Concurrency (Q2892750) (← links)
- Presenting intuitive deductions via symmetric simplification (Q6488543) (← links)
- The TPS theorem proving system (Q6488566) (← links)
