Syntactic Theories in Practice (Q2841251): Difference between revisions

@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+CPS transformation of beta-redexes
@@ Property / cites work: CPS transformation of beta-redexes / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic Theories in Practice
@@ Property / cites work: Syntactic Theories in Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Correctness of procedure representations in higher-order assembly language
+Normal rank
@@ Property / cites work @@
+From syntactic theories to interpreters: Automating the proof of unique decomposition
+Normal rank