#
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