Multiplicative linear type theories

Bibliographic Details
Main Author:	Koh, Thong Wei
Published:	University of Oxford 1998
Subjects:	510 Linear logic
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268120

Description
Description not available.

Similar Items