Next: LEGO Summerschool 1995 Up: Contents Previous: Topics in Type Theory

Further information about the LEGO system

Reference Card

The LEGO WWW page

Literature

The library

cs.lego
a local newsgroup; don't be shy about posting. There is no FAQ ;-)

Thomas Schreiber