A new approach to abstract syntax with variable binding

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{693a99b5cda6437480de30c8bfd535e2,

title = "A new approach to abstract syntax with variable binding",

author = "Gabbay, \{Murdoch J\} and Pitts, \{Andrew M\}",

year = "2002",

month = jul,

day = "1",

doi = "10.1007/s001650200016",

language = "English",

volume = "13",

pages = "341--363",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery",

number = "3-5",

}

TY - JOUR

T1 - A new approach to abstract syntax with variable binding

AU - Gabbay, Murdoch J

AU - Pitts, Andrew M

PY - 2002/7/1

Y1 - 2002/7/1

UR - https://www.scopus.com/pages/publications/23944501086

U2 - 10.1007/s001650200016

DO - 10.1007/s001650200016

M3 - Article

SN - 0934-5043

VL - 13

SP - 341

EP - 363

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3-5

ER -