A Reflective Higher-order Calculus

Article Properties
Cite
Meredith, L.G., and Matthias Radestock. “A Reflective Higher-Order Calculus”. Electronic Notes in Theoretical Computer Science, vol. 141, no. 5, 2005, pp. 49-67, https://doi.org/10.1016/j.entcs.2005.05.016.
Meredith, L., & Radestock, M. (2005). A Reflective Higher-order Calculus. Electronic Notes in Theoretical Computer Science, 141(5), 49-67. https://doi.org/10.1016/j.entcs.2005.05.016
Meredith L, Radestock M. A Reflective Higher-order Calculus. Electronic Notes in Theoretical Computer Science. 2005;141(5):49-67.
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
A Theory of Higher Order Communicating Systems 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
 31 1995
Categorical logic of names and abstraction in action calculus 1997
Bisimulation for Higher-Order Process Calculi 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
 58 1996
On the expressive power of polyadic synchronisation in pi-calculus 2003
The π-calculus in FM 2003
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
A Generic Type System for Higher-Order Ψ-calculi Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2022
Encodability and Separation for a Reflective Higher-Order Calculus Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2022
Native Type Theory Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2022
On the relative expressiveness of higher-order session processes 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
 4 2019
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science5
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware2
Technology: Mechanical engineering and machinery1
Technology: Engineering (General). Civil engineering (General)1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 5 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled A linkage model and applications of hobbing non-circular helical gears with axial shift of hob and was published in 2013. 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 2022, with 3 citations. It has been cited in 4 different journals, 25% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 3 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year