Browsing eNauka
Browsing by Author Pierre Lescanne
Showing results 1 to 13 of 13
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2018 | A Congruence Relation for Restructuring Classical Terms | Pierre Lescanne; Zunic, Dragisa   | Conference Paper | Mp. category will be shown later |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2012 | Classical computing with negation | Žunić, Dragiša ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2011 | Classical logic proofs' essence and diagrammatic computation | Žunić, Dragiša ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2012 | Computational interpretation of classical logic with explicit structural rules | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Other | Mp. category will be shown later |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2015 | Intersection Types Fit Well with Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2012 | Intersection types for explicit substitution with resource control | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Conference Paper | Mp. category will be shown later |
| 2011 | Intersection types for the resource control lambda calculi | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2013 | Resource aware computing with proofs | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2014 | Some Advantages of the Lambda Calculi with Resourse Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2015 | Structural rules and resource control in logic and computation | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Book parts | Mp. category will be shown later |
| 2013 | The unessential in classical logic and computation | Žunić, Dragiša ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |