Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Sergei Artemov

6 results

Seminar Reflected Lambda Calculus
by Sergei Artemov
October 02, 2000

Seminar Stability of intuitionistic systems
by Sergei Artemov
April 24, 2000

Seminar Semantics and Pragmatics of Reflected Proof
by Stuart F. Allen, Sergei Artemov, Robert L. Constable
December 01, 1998

Seminar On the Reflection Mechanism in Nuprl
by Sergei Artemov
November 24, 1998

Seminar Proof Polynomials: Cut Elimination
by Sergei Artemov
October 07, 1997

Seminar Operational Modal Logic
by Sergei Artemov
January 29, 1996