Sciweavers

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

83

Voted

MSCS
2008

favoriteEmaildiscussreport

85views more MSCS 2008»

Graph lambda theories

15 years 8 days ago

Graph lambda theories

Download www.dsi.unive.it

Antonio Bucciarelli, Antonino Salibra

Real-time Traffic

MSCS 2008 |

claim paper

Related Content

» Lambda Theories of Effective Lambda Models

» Eliminating Proofs from Programs

» Terminating Tableaux for the Basic Fragment of Simple Type Theory

» Boolean Algebras for Lambda Calculus

» Sequent combinators a Hilbert system for the lambda calculus

» A Lambda Calculus for Real Analysis

» Intersection Types and Lambda Theories

» Lazy evaluation and delimited control

» Rewriting Calculus without Types

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	MSCS
Authors	Antonio Bucciarelli, Antonino Salibra

Comments (0)