The virtues of eta-expansion (Q4850162): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Local adjunctions
@@ Property / cites work: Local adjunctions / rank @@
+Normal rank
@@ Property / cites work @@
+Pre-adjunctions in order enriched categories
@@ Property / cites work: Pre-adjunctions in order enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Formal category theory: Adjointness for 2-categories
+Normal rank