Search Sciweavers | Sciweavers

2145 search results - page 1 / 429

» Lax Logical Relations

click to vote

ICALP
2000
Springer

107views Programming Languages» more ICALP 2000»

Lax Logical Relations

13 years 8 months ago

Download homepages.inf.ed.ac.uk

Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relatio...

Gordon D. Plotkin, John Power, Donald Sannella, Ro...

claim paper

Read More »

click to vote

CSL
2004
Springer

136views Automated Reasoning» more CSL 2004»

Complete Lax Logical Relations for Cryptographic Lambda-Calculi

13 years 10 months ago

Download www-sop.inria.fr

Abstract. Security properties are proﬁtably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...

Jean Goubault-Larrecq, Slawomir Lasota, David Nowa...

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 2 months ago