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

@@ Property / author @@
-V. C. V. de Paiva
@@ Property / author: V. C. V. de Paiva / rank @@
-Normal rank
@@ Property / author @@
+V. C. V. de Paiva
@@ Property / author: V. C. V. de Paiva / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / 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/3-540-63165-8_182
+Normal rank
@@ Property / OpenAlex ID @@
+W1490159878
@@ Property / OpenAlex ID: W1490159878 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56994593
@@ Property / Wikidata QID: Q56994593 / rank @@
+Normal rank
@@ 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