еНаука - преглед
Преглед према Аутор Lescanne, Pierre
Приказ резултата 1 до 15 од 15
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2007 | A general technique for analyzing termination in symmetric proof calculi | Dougherty, Daniel; Ghilezan, Silvia   ; Lescanne, Pierre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2004 | Characterizing strong normalization in a language with control operators | Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2012 | Classical Computation with Negation | Zunic, Dragisa; Lescanne, Pierre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Classical Proofs' Essence and Diagrammatic Computation | Lescanne, Pierre; Zunic, Dragisa | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | Classical Proofs, Typed Processes, and Intersection Types | Ghilezan, Silvia ; Lescanne, Pierre | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2005 | Intersection and union types in the λ̄μμ̃-calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Intesection types and resource control in the intuitionistic sequent lambda calculus | Ivetić, Jelena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2012 | On semantics of a term calculus for classical logic | Likavec, Silvia ; Lescanne, Pierre | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2006 | On untyped Curien-Herbelin calculus | Likavec, Silvia ; Lescanne, Pierre | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2014 | Resource control and intersection types: an intrinsic connection | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2013 | Resource control and strong normalisation | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2005 | Strong normalization of the dual classical sequent calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2004 | Understanding untyped λµµ calculus | Lescanne, Pierre; Likavec, Silvia | Izveštaj | Mp kategorija će biti prikazana naknadno. |