Sergei Artemov
Stability of intuitionistic systems.
Sergei Artemov, April 24th, 2000
Semantics and Pragmatics of Reflected Proof
Stuart Allen, Sergei Artemov, and Robert L. Constable, December 1, 1998
On the Reflection Mechanism in Nuprl
Sergei Artemov, November 24, 1998
Proof Polynomials: Cut Elimination
Sergei Artemov, October 7, 1997
Logic of Proofs and Realizability.
Sergei Artemov, April 22, 1997
Operational Modal Logic
Sergei Artemov, Visitor from Moscow State University and the Steklov Institute, January 29, 1996
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu