Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-59025-3_1
+Normal rank
@@ Property / OpenAlex ID @@
+W3085882190
@@ Property / OpenAlex ID: W3085882190 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic models of simple type theories
@@ Property / cites work: Algebraic models of simple type theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723890
@@ Property / cites work: Q2723890 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility
+Normal rank
@@ Property / cites work @@
+Second-Order Equational Logic (Extended Abstract)
@@ Property / cites work: Second-Order Equational Logic (Extended Abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
+Normal rank
@@ Property / cites work @@
+Second-Order Algebraic Theories
@@ Property / cites work: Second-Order Algebraic Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution, jumps, and algebraic effects
@@ Property / cites work: Substitution, jumps, and algebraic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics for Cyclic Sharing Tree Structures
+Normal rank
@@ Property / cites work @@
+Semantic Labelling for Proving Termination of Combinatory Reduction Systems
+Normal rank
@@ Property / cites work @@
+Polymorphic Abstract Syntax via Grothendieck Construction
+Normal rank
@@ Property / cites work @@
+Q4596785
@@ Property / cites work: Q4596785 / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic rewrite rules: confluence, type inference, and instance validation
+Normal rank
@@ Property / cites work @@
+How to prove decidability of equational theories with second-order computation analyser SOL
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebraic Presentation of Predicate Logic
@@ Property / cites work: An Algebraic Presentation of Predicate Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Instances of Computational Effects: An Algebraic Perspective
+Normal rank
@@ Property / cites work @@
+Algebraic Effects, Linearity, and Quantum Programming Languages
+Normal rank
@@ Property / cites work @@
+Deterministic second-order patterns
@@ Property / cites work: Deterministic second-order patterns / rank @@
+Normal rank