Stefano Guerrini

Stefano Guerrini

Université Sorbonne Paris Nord - Villetaneuse / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4440782
Sorbonne Paris North University, University of Paris North, Paris 13 University
person_outline Stefano Guerrini's MOST POPULAR ARTICLES
1-) The optimal implementation of functional programming languages Cambridge University Press, 1998
2-) Jumping boxes: representing lambda-calculus boxes by jumps International Workshop on Computer Science Logic, 55-70, 2009
3-) A linear algorithm for MLL proof net correctness and sequentialization Theoretical Computer Science 412 (20), 1958-1978, 2011
4-) Jumping boxes: representing lambda-calculus boxes by jumps International Workshop on Computer Science Logic, 55-70, 2009
5-) A linear algorithm for MLL proof net correctness and sequentialization Theoretical Computer Science 412 (20), 1958-1978, 2011