eNauka - pregled
Pregled prema Autor Lescanne, Pierre
Prikaz rezultata 1 do 15 od 15
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2007 | A general technique for analyzing termination in symmetric proof calculi | Dougherty, Daniel; Ghilezan, Silvia   ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2004 | Characterizing strong normalization in a language with control operators | Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2012 | Classical Computation with Negation | Zunic, Dragisa; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Classical Proofs' Essence and Diagrammatic Computation | Lescanne, Pierre; Zunic, Dragisa | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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. |