Big-step normalisation (Q3638919): Difference between revisions

@@ Property / cites work @@
+Extensional Rewriting with Sums
@@ Property / cites work: Extensional Rewriting with Sums / rank @@
+Normal rank
@@ Property / cites work @@
+The virtues of eta-expansion
@@ Property / cites work: The virtues of eta-expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+The view from the left
@@ Property / cites work: The view from the left / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization without reducibility
@@ Property / cites work: Normalization without reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic model constructions and normalization proofs
+Normal rank
@@ Property / cites work @@
+A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions
+Normal rank