A New Approach to Abstract Syntax with Variable Binding

Article Properties
  • Language
    English
  • DOI (url)
    10.1007/s001650200016
  • Publication Date
    2002/07/01
  • Journal
    Formal Aspects of Computing
  • Indian UGC (journal)
  • Refrences
    47
  • Citations
    153
  • Murdoch J. Gabbay Cambridge University Computer Laboratory, Cambridge, UK, GB
  • Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK, GB
Abstract
Cite
Gabbay, Murdoch J., and Andrew M. Pitts. “A New Approach to Abstract Syntax With Variable Binding”. Formal Aspects of Computing, vol. 13, no. 3-5, 2002, pp. 341-63, https://doi.org/10.1007/s001650200016.
Gabbay, M. J., & Pitts, A. M. (2002). A New Approach to Abstract Syntax with Variable Binding. Formal Aspects of Computing, 13(3-5), 341-363. https://doi.org/10.1007/s001650200016
Gabbay MJ, Pitts AM. A New Approach to Abstract Syntax with Variable Binding. Formal Aspects of Computing. 2002;13(3-5):341-63.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Should your specification language be typed

 ACM Transactions on Programming Languages and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 21 1999
Categorical models for local names 1996
Mobile ambients Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2000
Elementary structures in process theory (1): Sets with renaming 2000
A Calculus for Cryptographic Protocols: The Spi Calculus Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 171 1999
Citations
Title Journal Journal Categories Citations Publication Date
The reflective higher-order calculus: Encodability, typability and separation Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2024
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2023
Locally Nameless Sets

 Proceedings of the ACM on Programming Languages
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
 2 2023
Nominal Sets in Agda - A Fresh and Immature Mechanization Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2023
A Formalized Extension of the Substitution Lemma in Coq Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2023
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science95
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software69
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware62
Science: Mathematics27
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods17
Philosophy. Psychology. Religion: Logic5
Science: Science (General): Cybernetics: Information theory4
Technology: Engineering (General). Civil engineering (General)2
Science: Mathematics: Probabilities. Mathematical statistics1
Technology: Technology (General): Industrial engineering. Management engineering: Information technology1
Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication1
Technology: Mechanical engineering and machinery1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 95 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled FreshML and was published in 2003. The most recent citation comes from a 2024 study titled The reflective higher-order calculus: Encodability, typability and separation. This article reached its peak citation in 2011, with 15 citations. It has been cited in 39 different journals, 5% of which are open access. Among related journals, the Electronic Notes in Theoretical Computer Science cited this research the most, with 22 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year