CiteSeer.IST Home  Similar documents based on text:  The Geometry of Optimal Lambda Reduction - Gonthier, Abadi, Lévy (1992)   (Correct)

Similar documents based on text:   All related documents
0.3:   Linear Logic for Meaning Assembly - Dalrymple, Lamping, Pereira.. (2002)   (Correct)
0.3:   Interaction Systems I: The theory of optimal reductions - Asperti, Laneve (1994)   (Correct)
0.3:   Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998)   (Correct)
0.3:   Optimality and Inefficiency : What Isn't a Cost Model of the.. - Lawall, Mairson (1996)   (Correct)
0.3:   Glue, Underspecification and Translation - van Genabith, Frank, Crouch (1999)   (Correct)
0.3:   Optimizing Optimal Lambda-Calculus Implementations - Asperti (1994)   (Correct)
0.1:   Choice in Dynamic Linking - Martn Abadi Georges (2004)   (Correct)

CiteSeer.IST - Copyright Penn State and NEC