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