Provable isomorphisms of types (Q4017461): Difference between revisions

@@ 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 @@
+λ-definable functionals andβη conversion
@@ Property / cites work: λ-definable functionals andβη conversion / rank @@
+Normal rank
@@ Property / cites work @@
+The category of finite sets and Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+The Church-Rosser theorem for the typed lambda-calculus with pairing pairing
+Normal rank