Functional Ownership through Fractional Uniqueness
Ownership and borrowing systems, designed to enforce safe memory management without
the need for garbage collection, have been brought to the fore by the Rust programming …
the need for garbage collection, have been brought to the fore by the Rust programming …
Adjoint natural deduction
Adjoint logic is a general approach to combining multiple logics with different structural
properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each …
properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each …
Adjoint Natural Deduction (Extended Version)
Adjoint logic is a general approach to combining multiple logics with different structural
properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each …
properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each …
A Mixed Linear and Graded Logic: Proofs, Terms, and Models
Graded modal logics generalise standard modal logics via families of modalities indexed by
an algebraic structure whose operations mediate between the different modalities. The …
an algebraic structure whose operations mediate between the different modalities. The …
Resource-awareness for Java-like languages and beyond
R Bianchini - 2024 - tesidottorato.depositolegale.it
Abstract Reasoning about programs and their correctness concerns, in the first place, their
input/output behaviour. However, there are many important properties which are non …
input/output behaviour. However, there are many important properties which are non …