Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1747768416
@@ Property / OpenAlex ID: W1747768416 / rank @@
+Normal rank
@@ Property / cites work @@
+When Is a Type Refinement an Inductive Type?
@@ Property / cites work: When Is a Type Refinement an Inductive Type? / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic extensions of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Comparing operational models of name-passing process calculi
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
+Normal rank
@@ Property / cites work @@
+Bases as Coalgebras
@@ Property / cites work: Bases as Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4853985
@@ Property / cites work: Q4853985 / rank @@
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Bilinearity and Cartesian Closed Monads.
@@ Property / cites work: Bilinearity and Cartesian Closed Monads. / rank @@
+Normal rank
@@ Property / cites work @@
+Closed categories generated by commutative monads
@@ Property / cites work: Closed categories generated by commutative monads / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950708
@@ Property / cites work: Q3950708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearly-Used State in Models of Call-by-Value
@@ Property / cites work: Linearly-Used State in Models of Call-by-Value / rank @@
+Normal rank
@@ Property / cites work @@
+Solvability in Resource Lambda-Calculus
@@ Property / cites work: Solvability in Resource Lambda-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Kleene Coalgebra
@@ Property / cites work: Nominal Kleene Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908856
@@ Property / cites work: Q2908856 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Deterministic Kleene Coalgebras
@@ Property / cites work: Non-Deterministic Kleene Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765926
@@ Property / cites work: Q2765926 / rank @@
+Normal rank