Sciweavers

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

27

CIE
2005
Springer

favoriteEmaildiscussreport

94views Applied Computing» more CIE 2005»

Continuous Semantics for Strong Normalization

14 years 4 months ago

Continuous Semantics for Strong Normalization

Download www.cs.swan.ac.uk

Ulrich Berger

Real-time Traffic

CIE 2005 |

claim paper

Related Content

» Proving Strong Normalization of CC by Modifying Realizability Semantics

» Compilation of Head and Strong Reduction

» Continuous semantics for strong normalisation

» Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Progr...

» Polymorphic Delimited Continuations

» Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Pr...

» Strong types for relational databases

» Design and Evaluation of a Continuous Consistency Model for Replicated Services

» Transactional memory with strong atomicity using offtheshelf memory protection hardware

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CIE
Authors	Ulrich Berger

Comments (0)