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

id	ndltd-bl.uk-oai-ethos.bl.uk-268120
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2681202015-03-19T10:58:37ZMultiplicative linear type theoriesKoh, Thong Wei1998510Linear logicUniversity of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268120Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	510 Linear logic
spellingShingle	510 Linear logic Koh, Thong Wei Multiplicative linear type theories
author	Koh, Thong Wei
author_facet	Koh, Thong Wei
author_sort	Koh, Thong Wei
title	Multiplicative linear type theories
title_short	Multiplicative linear type theories
title_full	Multiplicative linear type theories
title_fullStr	Multiplicative linear type theories
title_full_unstemmed	Multiplicative linear type theories
title_sort	multiplicative linear type theories
publisher	University of Oxford
publishDate	1998
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268120
work_keys_str_mv	AT kohthongwei multiplicativelineartypetheories
_version_	1716777889783873536

Similar Items