Explicit substitutions (Q4939690): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+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 @@
+Proof of termination of the rewriting system SUBSET on CCL
+Normal rank
@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796800000186
+Normal rank
@@ Property / OpenAlex ID @@
+W4236324644
@@ Property / OpenAlex ID: W4236324644 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4939690