Logical relations are a proof method employed in programming language semantics to show that two denotational semantics are equivalent. To describeâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- Aaron Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer
- POPL
- 2013

Fine-grained concurrent data structures (or FCDs) reduce the granularity of critical sections in both time and space, thus makingâ€¦Â (More)

Is this relevant?

2009

2009

- Derek Dreyer, Amal Ahmed, Lars Birkedal
- 2009 24th Annual IEEE Symposium on Logic Inâ€¦
- 2009

We show how to reason about "step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proofâ€¦Â (More)

Is this relevant?

2008

2008

- Carsten SchÃ¼rmann, Jeffrey Sarnat
- 2008 23rd Annual IEEE Symposium on Logic inâ€¦
- 2008

Tait's method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundationalâ€¦Â (More)

Is this relevant?

2008

2008

- Yu Zhang
- Theor. Comput. Sci.
- 2008

Using contextual equivalence (a.k.a. observational equivalence) to specify security properties is an important idea in the fieldâ€¦Â (More)

Is this relevant?

2007

2007

- Karl Crary, Robert Harper
- Electr. Notes Theor. Comput. Sci.
- 2007

The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied byâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Amal Ahmed
- ESOP
- 2006

We present a proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in aâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Eijiro Sumii, Benjamin C. Pierce
- CSFW
- 2001

The theory of relational parametricity and its logical relations proof technique are powerful tools for reasoning aboutâ€¦Â (More)

Is this relevant?

2000

2000

- Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent
- ICALP
- 2000

Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need notâ€¦Â (More)

Is this relevant?

1999

1999

- Furio Honsell, Donald Sannella
- CSL
- 1999

We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that makeâ€¦Â (More)

Is this relevant?

1995

1995

- Peter W. O'Hearn, Jon G. Riecke
- Inf. Comput.
- 1995

Sieber has described a model of PCF consisting of continuous functions that are invariant under certain ((nitary) logicalâ€¦Â (More)

Is this relevant?