The reflective higher-order calculus: Encodability, typability and separation

Article Properties
Cite
Lybech, Stian. “The Reflective Higher-Order Calculus: Encodability, Typability and Separation”. Information and Computation, vol. 297, 2024, p. 105138, https://doi.org/10.1016/j.ic.2024.105138.
Lybech, S. (2024). The reflective higher-order calculus: Encodability, typability and separation. Information and Computation, 297, 105138. https://doi.org/10.1016/j.ic.2024.105138
Lybech S. The reflective higher-order calculus: Encodability, typability and separation. Information and Computation. 2024;297:105138.
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
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Towards a unified approach to encodability and separation results for 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
 54 2010
A Reflective Higher-order Calculus Electronic Notes in Theoretical Computer Science 7 2005
A Syntactic Approach to Type Soundness 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
 316 1994
A calculus of mobile processes, I 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
 792 1992
Full abstraction for expressiveness: history, myths and facts 2014