Autor:	Koh, Thong Wei
Rok vydání:	1998
Předmět:	510 Linear logic
Druh dokumentu:	Electronic Thesis or Dissertation
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268120 Zobrazit plný text záznamu