CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Luo, Z., Pollack, R., and Taylor, P. How to use Lego. Tech. Rep. ECSLFCS -92-211, LFCS Report Series, 1992. University of Edinburgh, Department of Computer Science.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO. Department of Computer Science, University of Edinburgh, 1989.
Pollack, M., DIPART Architecture, Technical Report, Department of Computer Science, University of Pittsburgh, PA 15213, USA, 1994.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO (A Preliminary User's Manual) . Department of Computer Science, University of Edinburgh, Oct. 1989.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO (A Preliminary User's Manual). Department of Computer Science, University of Edinburgh, Oct. 1989.
Z. Luo. Coercive subtyping. Draft paper, Department of Computer Science, University of Durham, 1995.
Z. Luo. ECC and extended Calculus of Constructions. Department of Computer Science, University of Edinburgh.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO (a preliminary user's manual). Technical Report LFCS-TN-27, Department of Computer Science, Edinburgh University, 1989.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO (A Preliminary User's Manual). Department of Computer Science, University of Edinburgh, Oct. 1989.
Pollack, M., DIPART Architecture, Technical Report, Department of Computer Science, University of Pittsburgh, PA 15213, USA, 1994.
Z. Luo. Coercive subtyping. Draft paper, Department of Computer Science, University of Durham, 1995.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO. Department of Computer Science, University of Edinburgh, Oct. 1989.
Z. Luo, R. Pollack, et al. The LEGO proof assistant. Department of Computer Science, University of Edinburgh. http://www.dcs.ed.ac.uk/home/lego
R. Pollack. The theory of LEGO. Technical Report LFCS-TR-95-323, Department of Computer Science, University of Edinburgh, Scotland, 1994.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO (a preliminary user's manual). Technical Report LFCS-TN-27, Department of Computer Science, University of Edinburgh, October 1989.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO (A Preliminary User's Manual) . Department of Computer Science, University of Edinburgh, Oct. 1989.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO (A Preliminary User's Manual) . Department of Computer Science, University of Edinburgh, Oct. 1989.
Z. Luo, R. Pollack, et al. The LEGO proof assistant. Department of Computer Science, University of Edinburgh. http://www.dcs.ed.ac.uk/home/lego
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO (A Preliminary User's Manual). Department of Computer Science, University of Edinburgh, Oct. 1989.
Z. Luo, R. Pollack, and P. Taylor. How to use LEGO. Department of Computer Science, University of Edinburgh, Oct. 1989.
Z. Luo, R. Pollack, P. Taylor. How to Use Lego. Manual, University of Edinburgh, Department of Computer Science, 1989.