Geodesic
Structural rules and resource control in logic and computation
Zbornik radova, Tome 18 (2015) no. 26, p. 79

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Control of resources and awareness of their usage has an important role in logic and lambda calculus as well as in programming languages, compiler design and program synthesis. Already Gentzen had the idea to control the use of formulae in structural rules of the sequent calculus, whereas the idea to control the use of variables in term calculi goes back to Church's $\lambda I$-calculus. This work provides an overview of the most important work in the field of resource control and presents the authors' contributions in this field. The journey starts with the Resource control lambda calculus, continues with its sequent counterpart, the Resource control sequent lambda calculus, and concludes with computational interpretations of substructural logics, by presenting a lambda calculus without thinning, corresponding to a variant of the relevant logic.
Classification : 03-02, 03B40, 03B47 68N18, 03F52
Keywords: lambda calculus, sequent calculus, logic, resource control, structural rules, typeability, intersection types, strong normalisation 
@article{ZR_2015_18_26_a3,
     author = {Silvia Ghilezan and Jelena Iveti\'c and Pierre Lescanne and Silvia Likavec},
     title = {Structural rules and resource control in logic and computation},
     journal = {Zbornik radova},
     pages = {79 },
     publisher = {mathdoc},
     volume = {18},
     number = {26},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a3/}
}
TY  - JOUR
AU  - Silvia Ghilezan
AU  - Jelena Ivetić
AU  - Pierre Lescanne
AU  - Silvia Likavec
TI  - Structural rules and resource control in logic and computation
JO  - Zbornik radova
PY  - 2015
SP  - 79 
VL  - 18
IS  - 26
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a3/
LA  - en
ID  - ZR_2015_18_26_a3
ER  - 
%0 Journal Article
%A Silvia Ghilezan
%A Jelena Ivetić
%A Pierre Lescanne
%A Silvia Likavec
%T Structural rules and resource control in logic and computation
%J Zbornik radova
%D 2015
%P 79 
%V 18
%N 26
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a3/
%G en
%F ZR_2015_18_26_a3
Silvia Ghilezan; Jelena Ivetić; Pierre Lescanne; Silvia Likavec. Structural rules and resource control in logic and computation. Zbornik radova, Tome 18 (2015) no. 26, p. 79 . http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a3/