scientific article; zbMATH DE number 7715471

zbMath1524.03014MaRDI QIDQ6173574

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

Publication date: 21 July 2023

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculuslogiclambda calculusstructural rulesintersection typesstrong normalisationresource controltypeability

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) 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) Combinatory logic and lambda calculus (03B40)

This page was built for publication: