Similar Items: Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic
- Affine Sessions
- Dual-Context Calculi for Modal Logic
- Light Logics and the Call-by-Value Lambda Calculus
- Simulating reachability using first-order logic with applications to verification of linked data structures
- Typability and Type Inference in Atomic Polymorphism
- Probability Logic for Harsanyi Type Spaces