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

@@ Property / author @@
+C. Barry Jay
@@ Property / author: C. Barry Jay / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796800001301
+Normal rank
@@ Property / OpenAlex ID @@
+W1988292549
@@ Property / OpenAlex ID: W1988292549 / rank @@
+Normal rank