9 search results - page 2 / 2 » Prelogical Relations |
IANDC
2002
13 years 6 months ago
2002
ICALP
2000
Springer
13 years 10 months ago
2000
Springer
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...
FOSSACS
2000
Springer
13 years 10 months ago
2000
Springer
A new treatment of data refinement in typed lambda calculus is proposed, phrased in terms of pre-logical relations [HS99] rather than logical relations, and incorporating a constru...
CSL
2004
Springer
14 years 9 days ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...