Sciweavers

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

32

LISP
2007

favoriteEmaildiscussreport

73views more LISP 2007»

A call-by-name lambda-calculus machine

13 years 10 months ago

A call-by-name lambda-calculus machine

Download www.pps.jussieu.fr

Jean-Louis Krivine

Real-time Traffic

LISP 2007 |

claim paper

Related Content

» Step Indexed Realizability Semantics for a CallbyValue Language Based on Basic Combinatori...

» The weak lambda calculus as a reasonable machine

» Abstract lambdaCalculus Machines

» Lazy evaluation and delimited control

» Learning Synchronous Grammars for Semantic Parsing with Lambda Calculus

» An Embedding of the BSS Model of Computation in Light Affine LambdaCalculus

» Static typing for a faulty lambda calculus

» A logical account of pspace

» A symbolic and algebraic computation based LambdaBoolean reduction machine via PROLOG

» Linear Dependent Types and Relative Completeness

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2007
Where	LISP
Authors	Jean-Louis Krivine

Comments (0)