Title of article :
Nominal logic, a first order theory of names and binding
Author/Authors :
Andrew M. Pitts، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Keywords :
Abstract syntax , Variable binding , Permutation , Fresh names
Journal title :
Information and Computation
Journal title :
Information and Computation
