On explicit substitutions and names (extended abstract) (Q4571957): Difference between revisions

@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525278
@@ Property / cites work: Q4525278 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence properties of weak and strong calculi of explicit substitutions
+Normal rank
@@ Property / cites work @@
+An abstract framework for environment machines
@@ Property / cites work: An abstract framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+(In)consistency of Extensions of Higher Order Logic and Type Theory
+Normal rank
@@ Property / cites work @@
+Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
+Normal rank
@@ Property / cites work @@
+Explicit Substitutions à la de Bruijn
@@ Property / cites work: Explicit Substitutions à la de Bruijn / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024846
@@ Property / cites work: Q3024846 / rank @@
+Normal rank
@@ Property / cites work @@
+On explicit substitutions and names (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q4525291
@@ Property / cites work: Q4525291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733863
@@ Property / cites work: Q4733863 / rank @@
+Normal rank