Search Sciweavers | Sciweavers

2138 search results - page 1 / 428

» Logical Step-Indexed Logical Relations

click to vote

LICS
2009
IEEE

136views Automated Reasoning» more LICS 2009»

Logical Step-Indexed Logical Relations

14 years 4 days ago

Download www.mpi-sws.org

We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superﬁcially...

Derek Dreyer, Amal Ahmed, Lars Birkedal

claim paper

Read More »

click to vote

ESOP
2006
Springer

111views Programming Languages» more ESOP 2006»

Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types

13 years 9 months ago

Download www.cs.indiana.edu

We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...

Amal J. Ahmed

claim paper

Read More »

click to vote

EUSFLAT
2009

107views Fuzzy Logic» more EUSFLAT 2009»

Generalizations of Fuzzy C-Means Algorithm to Granular Feature Spaces, based on Underlying Metrics: Issues and Related Works

13 years 3 months ago

Download www.eusflat.org

Vasile Georgescu

claim paper

Read More »