Quantitative domains and infinitary algebras

DOI10.1016/0304-3975(92)90323-8zbMath0745.03011OpenAlexW2048626648MaRDI QIDQ1185015

François Lamarche

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

zbMATH Keywords

linear logicquantitative domaincategory of domainsuniversal domainmodels of lambda calculus

Mathematics Subject Classification ID

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