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.
Abstract
Related content
A New Approach to Abstract Syntax with Variable Binding
By Gabbay Murdoch J. Pitts Andrew M.
Formal Aspects of Computing, Vol. 13, Iss. 3-5, 2002-07 ,pp. :
Primitive recursion for higher-order abstract syntax
By Schurmann
Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. :