Now showing items 1-1 of 1

  • The Theory of LEGO 

    Pollack, Robert (University of Edinburgh. College of Science and Engineering. School of Informatics., 1995-07)
    LEGO is a computer program for interactive typechecking in the Extended Calculus of Constructions and two of its subsystems. LEGO also supports the extension of these three systems with inductive types. These type systems ...