A New Approach to Abstract Syntax Involving Binders

by: Murdoch Gabbay, Andrew Pitts

edited by: G Longo

(1999), pp. 214-224.

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

dalev, samth, NU-PRL (group)

Find related articles with these CiteULike tags

abstract-syntax, alpha, alpha-equivalence

Abstract

Syntax Involving Binders Murdoch Gabbay Cambridge University DPMMS Cambridge CB2 1SB, UK M.J.Gabbay@cantab.com Andrew Pitts Cambridge University Computer Laboratory Cambridge CB2 3QG, UK ap@cl.cam.ac.uk Abstract The Fraenkel-Mostowski permutation model of set theory with atoms (FM-sets) can serve as the semantic basis of meta-logics for specifying and reasoning about formal systems involving name binding, ff-conversion, capture avoiding substitution, and so on. We show that in...

@inproceedings{citeulike:3208, abstract = {Syntax Involving Binders Murdoch Gabbay Cambridge University DPMMS Cambridge CB2 1SB, UK M.J.Gabbay@cantab.com Andrew Pitts Cambridge University Computer Laboratory Cambridge CB2 3QG, UK ap@cl.cam.ac.uk Abstract The Fraenkel-Mostowski permutation model of set theory with atoms (FM-sets) can serve as the semantic basis of meta-logics for specifying and reasoning about formal systems involving name binding, ff-conversion, capture avoiding substitution, and so on. We show that in...}, address = {Trento, Italy}, author = {Gabbay, Murdoch and Pitts, Andrew }, booktitle = {Proceedings of the 14th Annual Symposium on Logic in Computer Science (LICS'99)}, citeulike-article-id = {3208}, editor = {Longo, G. }, keywords = {alpha}, pages = {214--224}, posted-at = {2005-03-10 23:02:33}, priority = {5}, publisher = {IEEE Computer Society Press}, title = {A New Approach to Abstract Syntax Involving Binders}, url = {http://citeseer.ist.psu.edu/gabbay99new.html}, year = {1999} }

RIS record

TY - CONF ID - citeulike:3208 L3 - citeulike-article-id:3208 TI - A New Approach to Abstract Syntax Involving Binders T2 - Proceedings of the 14th Annual Symposium on Logic in Computer Science (LICS'99) SP - 214 EP - 224 AD - Trento, Italy PB - IEEE Computer Society Press N2 - Syntax Involving Binders Murdoch Gabbay Cambridge University DPMMS Cambridge CB2 1SB, UK M.J.Gabbay@cantab.com Andrew Pitts Cambridge University Computer Laboratory Cambridge CB2 3QG, UK ap@cl.cam.ac.uk Abstract The Fraenkel-Mostowski permutation model of set theory with atoms (FM-sets) can serve as the semantic basis of meta-logics for specifying and reasoning about formal systems involving name binding, ff-conversion, capture avoiding substitution, and so on. We show that in... KW - alpha AU - Gabbay, Murdoch AU - Pitts, Andrew A2 - Longo, G PY - 1999/// UR - http://citeseer.ist.psu.edu/gabbay99new.html ER -

RIS BibTeX