Quantitative domains and infinitary algebras (Q1185015): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(92)90323-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2048626648
@@ Property / OpenAlex ID: W2048626648 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theoretic models of polymorphism
@@ Property / cites work: Domain theoretic models of polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Why the circle is connected: An introduction to quantized topology
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads on symmetric monoidal closed categories
@@ Property / cites work: Monads on symmetric monoidal closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Closed categories generated by commutative monads
@@ Property / cites work: Closed categories generated by commutative monads / rank @@
+Normal rank
@@ Property / cites work @@
+Stable domains are generalized topological spaces
@@ Property / cites work: Stable domains are generalized topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / 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 @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771067
@@ Property / cites work: Q3771067 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing locales from quantales
@@ Property / cites work: Constructing locales from quantales / rank @@
+Normal rank
@@ Property / cites work @@
+A groupoid approach to C*-algebras
@@ Property / cites work: A groupoid approach to C*-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Quantitative domains, groupoids and linear logic
@@ Property / cites work: Quantitative domains, groupoids and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point constructions in order-enriched categories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1185015