Sciweavers

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

9

LICS
1992
IEEE

favoriteEmaildiscussreport

99views Automated Reasoning» more LICS 1992»

Operational aspects of linear lambda calculus

13 years 8 months ago

Operational aspects of linear lambda calculus

Download www.csl.sri.com

Patrick Lincoln, John C. Mitchell

Real-time Traffic

Automated Reasoning | LICS 1992 |

claim paper

Related Content

» Reduction in a Linear LambdaCalculus with Applications to Operational Semantics

» A Linear Account of Session Types in the Pi Calculus

» Solvability in Resource LambdaCalculus

» A Lambda Calculus for Quantum Computation with Classical Control

» Mathematical Models of Computational and Combinatorial Structures

» A Mechanized Model of the Theory of Objects

» Operational and Axiomatic Semantics of PCF

» Relating complexity and precision in control flow analysis

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	LICS
Authors	Patrick Lincoln, John C. Mitchell

Comments (0)