Structural rules and resource control in logic and computation

MaRDI QIDQ6173574zbMATH OpenFDO

Authors Silvia Ghilezan, Jelena Ivetić, Pierre Lescanne, Silvia Likavec

Publication date 21 July 2023

Full work available at URL http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p79-109.pdf

zbMATH Keywords

intersection typeslambda calculuslogicresource controlsequent calculusstrong normalisationstructural rulestypeability

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 4767
• Intersection types for the resource control lambda calculi
• Resource operators for \(\lambda\)-calculus
• scientific article; zbMATH DE number 1086680
• scientific article; zbMATH DE number 218501

Cited in

(1)

• Relating structure and power: Comonadic semantics for computational resources

This page was built for publication: Structural rules and resource control in logic and computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6173574)