Sciweavers

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

12

TLCA
2007
Springer

favoriteEmaildiscussreport

89views Theoretical Computer Science» more TLCA 2007»

The Safe Lambda Calculus

13 years 11 months ago

The Safe Lambda Calculus

Download william.famille-blum.org

William Blum, C.-H. Luke Ong

Real-time Traffic

Theoretical Computer Science | TLCA 2007 |

claim paper

Related Content

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

» On Object Extension

» Linearly Used Effects Monadic and CPS Transformations into the Linear Lambda Calculus

» The CallbyNeed Lambda Calculus Revisited

» A Lambda Calculus with Forms

» Lecture notes on the lambda calculus

» Syntactic Type Soundness for the Region Calculus

» Lambda Logic

» Typed selfrepresentation

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	TLCA
Authors	William Blum, C.-H. Luke Ong

Comments (0)