Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Alexei Kopylov
17 results
Type Theoretical Foundations for Data Structures, Classes, and Objects
| cite »
by Alexei Kopylov
2004
Verified Implementation of Red-Black Trees
by Alexei Kopylov
November 10, 2003
Dependent Intersection: A New Way of Defining Records in Type Theory
| cite »
by Alexei Kopylov
2003
Representing Red-Black Trees in MetaPRL
by Alexei Kopylov
March 10, 2003
Continuing Discussion of Objects
by Alexei Kopylov, Robert L. Constable
December 02, 2002
Continuing on Objects and Classes
by Alexei Kopylov
November 18, 2002
Abstact Data Structures, Objects and Classes in the Nuprl Type Theory
by Alexei Kopylov
November 11, 2002
Representing Objects in Nuplr Type Theory
by Alexei Kopylov
April 29, 2002
Objects
by Alexei Kopylov
November 19, 2001
Record calculus
by Alexei Kopylov
November 12, 2001
Markov's Principle For Propositional Type Theory
| cite »
by Alexei Kopylov, Aleksey Nogin
2001
Kopylov and Nogin CSL Submission
by Alexei Kopylov
April 02, 2001
A complete list of differences between MetaPRL and Nuprl 4 implementations of type theory (cont)
by Aleksey Nogin, Alexei Kopylov
December 04, 2000
A complete list of differences between MetaPRL and Nuprl 4 implementations of type theory
by Alexei Kopylov, Aleksey Nogin
November 27, 2000
Intersections, Unions and Games
by Robert L. Constable, Alexei Kopylov, Aleksey Nogin
December 06, 1999
Decidability of Linear Affine Logic
by Alexei Kopylov
November 01, 1999
Linear Logic
by Alexei Kopylov
October 18, 1999