forms-and-logic.tar.gz -Forms and Logic by Mark Friedman -altdorf.ai.mit.edu:archive/markf/forms* plotkin/ -domains paper -theory.lcs.mit.edu:.../papers/ numerical-linear-algebra.tex -gopher