#
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