Quantitative domains and infinitary algebras
From MaRDI portal
Publication:1185015
DOI10.1016/0304-3975(92)90323-8zbMath0745.03011OpenAlexW2048626648MaRDI QIDQ1185015
Publication date: 28 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(92)90323-8
Theory of programming languages (68N15) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Combinatory logic and lambda calculus (03B40) Infinitary algebras (08A65)
Related Items
An algebraic approach to stable domains, Weighted models for higher-order computation, From Qualitative to Quantitative Semantics, Unnamed Item, Convenient antiderivatives for differential linear categories, Stable domains are generalized topological spaces, Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms, Set-theoretical and other elementary models of the \(\lambda\)-calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Stable domains are generalized topological spaces
- The system \({\mathcal F}\) of variable types, fifteen years later
- Normal functors, power series and \(\lambda\)-calculus
- Why the circle is connected: An introduction to quantized topology
- A groupoid approach to C*-algebras
- Domain theory in logical form
- Fixed-point constructions in order-enriched categories
- Domain theoretic models of polymorphism
- Monads on symmetric monoidal closed categories
- Constructing locales from quantales
- The Category-Theoretic Solution of Recursive Domain Equations
- Data Types as Lattices
- What is a model of the lambda calculus?
- Quantitative domains, groupoids and linear logic
- Closed categories generated by commutative monads
