Incremental changes in LEGO (1994) [5 citations — 2 self]
by Y Pollack, Claire Jones
ftp://ftp.dcs.ed.ac.uk/pub/lego/changes.ps.Z
Add To MetaCart
Abstract:
The current release of LEGO has new features not documented in [LP92]. This document describes these new features. The main points are: ffl The current release is compatible with old releases: every proof development that
Citations
| 34 | proof development system: User’s manual – LEGO - 1992 |
| 20 | Type checking with universes – Harper, Pollack - 1991 |
| 12 | A Unifying Theory of Dependent Types: the schematic approach – Luo - 1992 |
| 1 | the system. Technical report, DEC Systems Research Centre – F-sub - 1991 |
