Sciweavers

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

16

TCS
2011

favoriteEmaildiscussreport

150views Theoretical Computer Science» more TCS 2011»

Strong normalization from an unusual point of view

12 years 11 months ago

Strong normalization from an unusual point of view

Download www.di.unito.it

A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suitable parametric calculi. Key words: strong normalization, call-by-value, parametric lambda calculus

Luca Paolini, Elaine Pimentel, Simona Ronchi Della

Real-time Traffic

Parametric Lambda Calculus | Strong Normalization | Suitable Parametric Calculi | TCS 2011 | Theoretical Computer Science |

claim paper

Related Content

» Strong Normalization of Classical Natural Deduction with Disjunction

» The Simplytyped Pure Pattern Type System Ensures Strong Normalization

» Polarizationbased Transparent Surface Modeling from Two Views

» More Normal Than Normal Scaling Distributions and Complex Systems

» Variational Surface Interpolation from Sparse Point and Normal Data

» Constructing Committed Signatures from StrongRSA Assumption in the Standard Complexity Mod...

» Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation

» Detecting Motion Regions in the Presence of a Strong Parallax from a Moving Camera by Mult...

» View Dependent Stochastic Sampling for Efficient Rendering of Point Sampled Surfaces

Post Info
More Details (n/a)

Added	15 May 2011
Updated	15 May 2011
Type	Journal
Year	2011
Where	TCS
Authors	Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca

Comments (0)