Lax Liftings and Lax Distributive Laws

Article Properties
Cite
Schoen, Ezra. “Lax Liftings and Lax Distributive Laws”. Electronic Proceedings in Theoretical Computer Science, vol. 380, 2023, pp. 237-53, https://doi.org/10.4204/eptcs.380.14.
Schoen, E. (2023). Lax Liftings and Lax Distributive Laws. Electronic Proceedings in Theoretical Computer Science, 380, 237-253. https://doi.org/10.4204/eptcs.380.14
Schoen E. Lax Liftings and Lax Distributive Laws. Electronic Proceedings in Theoretical Computer Science. 2023;380:237-53.
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
Relation lifting, a survey 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
 9 2016
Lax extensions of coalgebra functors and their logic Journal of Computer and System Sciences
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • 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
 4 2015
Simulations in coalgebra 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
 23 2004
Canonical Automata via Distributive Law Homomorphisms Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2021
Neighbourhood Structures: Bisimilarity and Basic Model Theory

 Logical Methods in Computer Science
  • Philosophy. Psychology. Religion: Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • 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
 1 2009
Refrences Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science6
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software3
Science: Mathematics1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 6 is the most frequently represented among the references in this article. It primarily includes studies from Electronic Notes in Theoretical Computer Science The chart below illustrates the number of referenced publications per year.
Refrences used by this article by year