The Prismoid of Resources (Q3182947): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03816-7_40
+Normal rank
@@ Property / OpenAlex ID @@
+W1512038691
@@ Property / OpenAlex ID: W1512038691 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Jumping Boxes
@@ Property / cites work: Jumping Boxes / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4357055
@@ Property / cites work: Q4357055 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Calculi with Explicit Substitutions Revisited
+Normal rank
@@ Property / cites work @@
+Perpetuality for Full and Safe Composition (in a Constructive Setting)
+Normal rank
@@ Property / cites work @@
+Resource operators for \(\lambda\)-calculus
@@ Property / cites work: Resource operators for \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3356291
@@ Property / cites work: Q3356291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Bigraphs and Confluence: Two Conjectures
@@ Property / cites work: Local Bigraphs and Confluence: Two Conjectures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447222
@@ Property / cites work: Q4447222 / rank @@
+Normal rank