Similar Items: Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics
- Normalization of IZF with Replacement
- Continuations and Completeness in Proof-theoretic Semantics
- A Proof Theoretic Analysis of Intruder Theories
- Classical BI: Its Semantics and Proof Theory
- A Finite-Model-Theoretic View on Propositional Proof Complexity
- Proof complexity of positive branching programs