Title of article

Nominal logic, a first order theory of names and binding

Author/Authors

Andrew M. Pitts، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2003

Pages

29

From page

165

To page

193

Keywords

Abstract syntax , Variable binding , Permutation , Fresh names

Journal title

Information and Computation

Serial Year

2003

Journal title

Information and Computation

Record number

262181