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",

}