ML-1998-06: Krivtsov, Victor N. (1998) A Negationless Interpretation of Intuitionistic Axiomatic Theories: Arithmetic and Analysis. [Report]
ML-1998-07: Krivtsov, Victor N. (1998) A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-Order Arithmetic. [Report]