Browsing by Author Lescanne, Pierre


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 5 to 13 of 13 < previous 
Author(s)TitleIssue DateAppears inRank
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreA general technique for analyzing termination in symmetric proof calculi2007WST'07 - The 9th International Workshop on Termination, Paris, France, July 2007
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreIntersection and union types in the λ̄μμ̃-calculus19-Jul-2005Electronic Notes in Theoretical Computer Science; 3rd International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004; 136; 153-172
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaIntersection types fit well with resource control201521. Intenational conference on Types for Proofs and Programs - TYPES 2015, May 2015, Tallin, EstoniaM34
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaIntersection types for explicit substitution with resource control2012Sixth Workshop on Intersection Types and Related Systems (ITRS 2012)
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaIntersection types for the resource control lambda calculi19-Sep-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011; Johannesburg; South Africa; 31 August 2011 through 2 September 2011; 6916 LNCS; 116-134M33
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Žunić, DragišaIntuitionistic sequent-style calculus with explicit structural rules1-Aug-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009; Bakuriani; Georgia; 21 September 2009 through 25 September 2009; 6618 LNAI; 101-124M33
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaSome advantages of the lambda calculi with resource control2014Matematička konferencija Republike Srpske, Trebinje, 6-7 Jun, 2014M34
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, SilviaStrong normalization of the dual classical sequent calculus1-Jan-2005Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005; Montego Bay; Jamaica; 2 December 2005 through 6 December 2005; 3835 LNAI; 169-183M22
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaStructural rules and resource control in logic and computation2015Logic in Computer Science; 18(26); 79-109M14
Showing results 5 to 13 of 13 < previous