Terminal coalgebras in well-founded set theory

Article Properties
Cite
Barr, Michael. “Terminal Coalgebras in Well-Founded Set Theory”. Theoretical Computer Science, vol. 114, no. 2, 1993, pp. 299-15, https://doi.org/10.1016/0304-3975(93)90076-6.
Barr, M. (1993). Terminal coalgebras in well-founded set theory. Theoretical Computer Science, 114(2), 299-315. https://doi.org/10.1016/0304-3975(93)90076-6
Barr M. Terminal coalgebras in well-founded set theory. Theoretical Computer Science. 1993;114(2):299-315.
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
The Category-Theoretic Solution of Recursive Domain Equations SIAM Journal on Computing
  • 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
 154 1983
Subequalizers Canadian Mathematical Bulletin
  • Science: Mathematics
 1970
A final coalgebra theorem 1989
Accessible Categories 1990
Algebraically complete categories 1991
Citations
Title Journal Journal Categories Citations Publication Date
CHAD for expressive total languages

 Mathematical Structures in 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
Hausdorff Coalgebras Applied Categorical Structures
  • Science: Mathematics
 6 2020
Fixed points of functors Journal of Logical and Algebraic Methods in Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • 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
 6 2018
Convergence in infinitary term graph rewriting systems is simple

 Mathematical Structures in 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
 2018
Limits in categories of Vietoris coalgebras

 Mathematical Structures in 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
 2018
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science58
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software49
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware49
Science: Mathematics21
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods11
Technology: Technology (General): Industrial engineering. Management engineering: Information technology2
Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication2
Science: Science (General): Cybernetics: Information theory2
Philosophy. Psychology. Religion: Philosophy (General)1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 58 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled The construction of cofree coalgebras and was published in 1993. The most recent citation comes from a 2023 study titled CHAD for expressive total languages. This article reached its peak citation in 2006, with 8 citations. It has been cited in 20 different journals, 10% of which are open access. Among related journals, the Theoretical Computer Science cited this research the most, with 29 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year