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.

Alan Jeffrey
School of Cognitive and Computing Sciences
University of Sussex
Brighton BN1 9QH
UK
alanje@cogs.susx.ac.uk

Previous | Next