Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

19

BIRTHDAY
2005
Springer

favoriteEmaildiscussreport

96views Applied Computing» more BIRTHDAY 2005»

Sharing in the Weak Lambda-Calculus

14 years 4 months ago

Sharing in the Weak Lambda-Calculus

Download pauillac.inria.fr

Tomasz Blanc, Jean-Jacques Lévy, Luc Marang

Real-time Traffic

Applied Computing | BIRTHDAY 2005 |

claim paper

Related Content

» Lecture notes on the lambda calculus

» The Power of Linear Functions

» The weak lambda calculus as a reasonable machine

» Strong Normalization in a NonDeterministic Typed LambdaCalculus

» Repetitive Reduction Patterns in Lambda Calculus with letrec Work in Progress

» Applying Universal Algebra to Lambda Calculus

» A typed lambda calculus with intersection types

» Liberalizing Dependency

» The semantics of graphical languages

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	BIRTHDAY
Authors	Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget

Comments (0)