Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746): Difference between revisions

@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754029
@@ Property / cites work: Q2754029 / rank @@
+Normal rank
@@ Property / cites work @@
+The Abella Interactive Theorem Prover (System Description)
+Normal rank
@@ Property / cites work @@
+Linear explicit substitutions
@@ Property / cites work: Linear explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Calculi with Explicit Substitutions Revisited
+Normal rank
@@ Property / cites work @@
+Q3024846
@@ Property / cites work: Q3024846 / rank @@
+Normal rank
@@ Property / cites work @@
+A notation for lambda terms. A generalization of environments
+Normal rank
@@ Property / cites work @@
+Practical Programming with Higher-Order Encodings and Dependent Types
+Normal rank
@@ Property / cites work @@
+Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
+Normal rank
@@ Property / cites work @@
+FreshML
@@ Property / cites work: FreshML / rank @@
+Normal rank