Some lambda calculi with categorical sums and products (Q5055791): Difference between revisions

@@ Property / cites work @@
+Q4281490
@@ Property / cites work: Q4281490 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036571
@@ Property / cites work: Q4036571 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding of a free cartesian-closed category into the category of sets
+Normal rank
@@ Property / cites work @@
+Simulating expansions without expansions
@@ Property / cites work: Simulating expansions without expansions / rank @@
+Normal rank
@@ Property / cites work @@
+A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique normal forms for lambda calculus with surjective pairing
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5622402
@@ Property / cites work: Q5622402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659785
@@ Property / cites work: Q3659785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+On the implementation of abstract data types by programming language constructs
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Q3791151
@@ Property / cites work: Q3791151 / rank @@
+Normal rank