An abstract view on syntax with sharing

Author: Garner Richard  

Publisher: Oxford University Press

ISSN: 1465-363X

Source: Journal of Logic and Computation, Vol.22, Iss.6, 2012-12, pp. : 1427-1452

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract