Quantitative domains and infinitary algebras

DOI10.1016/0304-3975(92)90323-8zbMath0745.03011MaRDI 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 logic; quantitative domain; category of domains; universal domain; models of lambda calculus

Mathematics Subject Classification ID

68N15: Theory of programming languages

03B70: Logic in computer science

08A70: Applications of universal algebra in computer science

03B40: Combinatory logic and lambda calculus

08A65: Infinitary algebras

Related Items

Stable domains are generalized topological spaces, An algebraic approach to stable domains, 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