Closure under alpha-conversion (Q6083699): Difference between revisions

@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281462
@@ Property / cites work: Q4281462 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to generalized type systems
@@ Property / cites work: Introduction to generalized type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Pearls:<i>Representing ‘undefined’ in lambda calculus</i>
+Normal rank
@@ Property / cites work @@
+Q4012882
@@ Property / cites work: Q4012882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3793765
@@ Property / cites work: Q3793765 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939698
@@ Property / cites work: Q4939698 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Perspective in Theoretical Computer Science
@@ Property / cites work: A Perspective in Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3211296
@@ Property / cites work: Q3211296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281480
@@ Property / cites work: Q4281480 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing in pure type systems
@@ Property / cites work: Typing in pure type systems / rank @@
+Normal rank