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: Alexei Kopylov

17 results


Publication Type Theoretical Foundations for Data Structures, Classes, and Objects | cite »
by Alexei Kopylov
2004

Seminar Verified Implementation of Red-Black Trees
by Alexei Kopylov
November 10, 2003

Publication Dependent Intersection: A New Way of Defining Records in Type Theory | cite »
by Alexei Kopylov
2003

Seminar Representing Red-Black Trees in MetaPRL
by Alexei Kopylov
March 10, 2003

Seminar Continuing Discussion of Objects
by Alexei Kopylov, Robert L. Constable
December 02, 2002

Seminar Continuing on Objects and Classes
by Alexei Kopylov
November 18, 2002

Seminar Abstact Data Structures, Objects and Classes in the Nuprl Type Theory
by Alexei Kopylov
November 11, 2002

Seminar Representing Objects in Nuplr Type Theory
by Alexei Kopylov
April 29, 2002

Seminar Objects
by Alexei Kopylov
November 19, 2001

Seminar Record calculus
by Alexei Kopylov
November 12, 2001

Publication Markov's Principle For Propositional Type Theory | cite »
by Alexei Kopylov, Aleksey Nogin
2001

Seminar Kopylov and Nogin CSL Submission
by Alexei Kopylov
April 02, 2001

Seminar A complete list of differences between MetaPRL and Nuprl 4 implementations of type theory (cont)
by Aleksey Nogin, Alexei Kopylov
December 04, 2000

Seminar A complete list of differences between MetaPRL and Nuprl 4 implementations of type theory
by Alexei Kopylov, Aleksey Nogin
November 27, 2000

Seminar Intersections, Unions and Games
by Robert L. Constable, Alexei Kopylov, Aleksey Nogin
December 06, 1999

Seminar Decidability of Linear Affine Logic
by Alexei Kopylov
November 01, 1999

Seminar Linear Logic
by Alexei Kopylov
October 18, 1999