CITATION STYLE
Semi-intuitionistic systems and monotone functional interpretation. (2008). In Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (pp. 141–161). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-77533-1_9
Mendeley helps you to discover research relevant for your work.