A category-theoretic characterization of functional completeness (Q912587): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029583
@@ Property / cites work: Q4029583 / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+On combinatory algebras and their expansions
@@ Property / cites work: On combinatory algebras and their expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical combinators
@@ Property / cites work: Categorical combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Partiality, cartesian closedness, and toposes
@@ Property / cites work: Partiality, cartesian closedness, and toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111546
@@ Property / cites work: Q4111546 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3863873
@@ Property / cites work: Q3863873 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively given domains and lambda-calculus models
+Normal rank
@@ Property / cites work @@
+Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
+Normal rank
@@ Property / cites work @@
+The completeness theorem for typing lambda-terms
@@ Property / cites work: The completeness theorem for typing lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda‐Calculus Models and Extensionality
@@ Property / cites work: Lambda‐Calculus Models and Extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+A small complete category
@@ Property / cites work: A small complete category / 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 @@
+Q3760508
@@ Property / cites work: Q3760508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
+Normal rank
@@ Property / cites work @@
+Q3708006
@@ Property / cites work: Q3708006 / rank @@
+Normal rank
@@ Property / cites work @@
+On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
+Normal rank
@@ Property / cites work @@
+The hereditary partial effective functionals and recursion theory in higher types
+Normal rank
@@ Property / cites work @@
+Q3677755
@@ Property / cites work: Q3677755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682463
@@ Property / cites work: Q3682463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a model of the lambda calculus?
@@ Property / cites work: What is a model of the lambda calculus? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3764126
@@ Property / cites work: Q3764126 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659756
@@ Property / cites work: Q3659756 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbb{T}^\omega\) as a universal domain
@@ Property / cites work: \(\mathbb{T}^\omega\) as a universal domain / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960746
@@ Property / cites work: Q3960746 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:912587