A new approach to abstract syntax with variable binding

Murdoch J Gabbay, Andrew M Pitts

Research output: Contribution to journalArticle

369 Citations (Scopus)
Original languageEnglish
Pages (from-to)341-363
Number of pages23
JournalFormal Aspects of Computing
Volume13
Issue number3-5
DOIs
Publication statusPublished - 1 Jul 2002

Cite this