Forum and its Implementation

This is a toy implementation of the linear logic language Forum presented by Prof. Dale Miller. We have focused on a IO method for the context handling and presented an alternative method for handling the T-rule. It is documented in my M. Phil thesis Forum and its implementation.

Christian Urban

Last modified: Tue Mar 25 1997