1. Games and full completeness for multiplicative linear logic;Abramsky;Journal of Symbolic Logic,1994
2. Mechanizing Proof Theory: Resource-Aware Logics and Proof-Transformations to Extract Explicit Information;Bellin,1990
3. On Padoa's method in the theory of definition;Beth;Indagationes Mathematicae,1953
4. Semantic entailment and formal derivability;Beth;Indagationes Mathematicae,1956