Categorical models for non-extensional λ-calculi and combinatory logic (Q4279260): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of constructions. I. The word problem for partial algebras
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+An ideal model for recursive polymorphic types
@@ Property / cites work: An ideal model for recursive polymorphic types / rank @@
+Normal rank
@@ Property / cites work @@
+A category-theoretic characterization of functional completeness
+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 @@
+Weak adjoint functors
@@ Property / cites work: Weak adjoint functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics for higher order polymorphic lambda calculus
+Normal rank
@@ Property / cites work @@
+On specifications, theories, and models with higher types
+Normal rank
@@ Property / cites work @@
+Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
+Normal rank