A New Approach to Abstract Syntax with Variable Binding

Author： Gabbay Murdoch J.   Pitts Andrew M.  

Publisher： Springer Publishing Company

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.13, Iss.3-5, 2002-07, pp. : 341-363

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

Related content

Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling

By Diskin Z.   Kadish B.  

Data and Knowledge Engineering, Vol. 47, Iss. 1, 2003-10 ,pp. : 1-59

Elsevier

Access to resources Recommend Favorite

An abstract view on syntax with sharing

By Garner Richard  

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

Oxford University Press

Access to resources Recommend Favorite

Variable binding by synaptic strength change

By Huyck Christian  

Connection Science, Vol. 21, Iss. 4, 2009-12 ,pp. : 327-357

Taylor & Francis Ltd

Access to resources Recommend Favorite

Primitive recursion for higher-order abstract syntax

By Schurmann  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 1-57

Elsevier

Access to resources Recommend Favorite

A new variable stiffness robot joint

By Wang Tianmiao   Wang Yunqing   Guo Long   Xiong Hegen   Xu Dong  

Industrial Robot: An International Journal, Vol. 42, Iss. 4, 2015-06 ,pp. : 371-378

Emerald Group Publishing Ltd

Access to resources Recommend Favorite