Premonoidal categories and a
graphical view of programs

DRAFT of 1997/08/19

This paper is currently under construction, and describes work in progress.
It may contain errors. All comments welcome.

This paper contains Java, and it will take a while to download this page. Be patient. You may need to switch Java on (under Netscape 4 this is Edit / Preferences / Advanced / Enable Java). Unfortunately, Netscape refuses to print Java applets, so I've produced a PostScript version.

The latest version of the applet is now much more interactive. Try clicking on the above graph, and then typing in some sample programs.

Previous | Next