Term rewriting for normalization by evaluation. (Q1401941): Difference between revisions

@@ Property / cites work @@
+Categorical reconstruction of a reduction free normalization proof
+Normal rank
@@ Property / cites work @@
+Q4524766
@@ Property / cites work: Q4524766 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938550
@@ Property / cites work: Q4938550 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic model constructions and normalization proofs
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494371
@@ Property / cites work: Q4494371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank