Alexei Kopylov
Intersections, Unions and Games
Robert Constable, Alexei Kopylov and Alexey Nogin, December 6, 1999
Decidability of Linear Affine Logic
Alexei Kopylov, November 1, 1999
Linear Logic
Alexei Kopylov, October 18, 1999
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu