The theory of semi-functors (Q4279250): Difference between revisions

@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
+Normal rank
@@ Property / cites work @@
+Q3787977
@@ Property / cites work: Q3787977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / 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 @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank