A theory of binding structures and applications to rewriting (Q685380): Difference between revisions

@@ Property / author @@
-Carolyn L. Talcott
@@ Property / author: Carolyn L. Talcott / rank @@
-Normal rank
@@ Property / author @@
+Carolyn L. Talcott
@@ Property / author: Carolyn L. Talcott / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic definition of programming languages
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3971290
@@ Property / cites work: Q3971290 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras with a Scheme of Operators
@@ Property / cites work: Algebras with a Scheme of Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence in functional languages with effects
@@ Property / cites work: Equivalence in functional languages with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring the equivalence of functional programs that mutate data
+Normal rank
@@ Property / cites work @@
+A logic programming language with lambda-abstraction, function variables, and simple unification
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic construction of compilers
@@ Property / cites work: Algebraic construction of compilers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016565
@@ Property / cites work: Q4016565 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(93)90240-t
+Normal rank
@@ Property / OpenAlex ID @@
+W1995328923
@@ Property / OpenAlex ID: W1995328923 / rank @@
+Normal rank