Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Sergei Artemov
6 results
Reflected Lambda Calculus
by Sergei Artemov
October 02, 2000
Stability of intuitionistic systems
by Sergei Artemov
April 24, 2000
Semantics and Pragmatics of Reflected Proof
by Stuart F. Allen, Sergei Artemov, Robert L. Constable
December 01, 1998
On the Reflection Mechanism in Nuprl
by Sergei Artemov
November 24, 1998
Proof Polynomials: Cut Elimination
by Sergei Artemov
October 07, 1997
Operational Modal Logic
by Sergei Artemov
January 29, 1996