Browsing eNauka
Browsing by Author Lescanne, Pierre
Showing results 1 to 17 of 17
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2007 | A general technique for analyzing termination in symmetric proof calculi | Dougherty, Daniel; Ghilezan, Silvia  ; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia  ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Article | Mp. category will be shown later |
| 2004 | Characterizing strong normalization in a language with control operators | Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Article | 22M22 |
| 2012 | Classical Computation with Negation | Zunic, Dragisa; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2011 | Classical Proofs' Essence and Diagrammatic Computation | Lescanne, Pierre; Zunic, Dragisa | Conference Paper | Mp. category will be shown later |
| 2004 | Classical Proofs, Typed Processes, and Intersection Types | Ghilezan, Silvia ; Lescanne, Pierre | Article | 22M22 |
| 2010 | Computational Interpretations of Some Substructural Logics | Ivetić, Jelena ; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2005 | Intersection and union types in the λ̄μμ̃-calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Intesection types and resource control in the intuitionistic sequent lambda calculus | Ivetić, Jelena | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia ; Žunić, Dragiša ; Ivetić, Jelena ; Lescanne, Pierre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | On semantics of a term calculus for classical logic | Likavec, Silvia ; Lescanne, Pierre | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2006 | On untyped Curien-Herbelin calculus | Likavec, Silvia ; Lescanne, Pierre | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2014 | Resource control and intersection types: an intrinsic connection | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2013 | Resource control and strong normalisation | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2005 | Strong normalization of the dual classical sequent calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2004 | Understanding untyped λµµ calculus | Lescanne, Pierre; Likavec, Silvia | Извештај | Мп категорија ће бити приказана накнадно. |