Pages that link to "Item:Q5410708"
From MaRDI portal
The following pages link to Bounded Linear Types in a Resource Semiring (Q5410708):
Displaying 18 items.
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Time warps, from algebra to algorithms (Q2695363) (← links)
- A type system for bounded space and functional in-place update (Q2712583) (← links)
- Time Bounds for General Function Pointers (Q3178280) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- (Q5020617) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)
- A dependent dependency calculus (Q6166797) (← links)
- A Java-like calculus with heterogeneous coeffects (Q6175517) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
- Non-linear communication via graded modal session types (Q6647771) (← links)
- Curry and Howard meet Borel (Q6649480) (← links)
- Deriving distributive laws for graded linear types (Q6657787) (← links)
- A linear algebra approach to linear metatheory (Q6657791) (← links)