Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312): Difference between revisions

@@ 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 @@
+Models of the lambda calculus
@@ Property / cites work: Models of the lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160083
@@ Property / cites work: Q4160083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659756
@@ Property / cites work: Q3659756 / rank @@
+Normal rank
@@ Property / cites work @@
+Pre-adjunctions and lambda-algebraic theories
@@ Property / cites work: Pre-adjunctions and lambda-algebraic theories / rank @@
+Normal rank