Procedural isomorphism, analytic information and β -conversion by value

Author: Du Marie  

Publisher: Oxford University Press

ISSN: 1368-9894

Source: Logic Journal of the IGPL, Vol.21, Iss.2, 2013-04, pp. : 291-308

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