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

@@ Property / author @@
-Carsten Schuermann
@@ Property / author: Carsten Schuermann / rank @@
-Normal rank
@@ Property / author @@
+Carsten Schuermann
@@ Property / author: Carsten Schuermann / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bedwyr
@@ Property / describes a project that uses: Bedwyr / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Twelf
@@ Property / describes a project that uses: Twelf / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Freshml
@@ Property / describes a project that uses: Freshml / rank @@
+Normal rank
@@ 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-642-14203-1_1
+Normal rank
@@ Property / OpenAlex ID @@
+W1759101439
@@ Property / OpenAlex ID: W1759101439 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5747746