Pages that link to "Item:Q1185015"
From MaRDI portal
The following pages link to Quantitative domains and infinitary algebras (Q1185015):
Displaying 9 items.
- Stable domains are generalized topological spaces (Q685417) (← links)
- An algebraic approach to stable domains (Q917677) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms (Q2811355) (← links)
- From Qualitative to Quantitative Semantics (Q2988359) (← links)
- (Q5028454) (← links)
- Convenient antiderivatives for differential linear categories (Q5139291) (← links)
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)
