Searching for "Lax Logical Relations." – sorted by Relevance.
-
Lax Logical Relations
- Lax Logical Relations Gordon Plotkin 1# , John Power 1## , Donald Sannella 1
- Cited by 15 (2 self) – Add To MetaCart
-
Complete Lax Logical Relations for Cryptographic Lambda-Calculi
- . Springer, 2004. Complete Lax Logical Relations for Cryptographic Lambda-Calculi # Jean Goubault
- Cited by 2 (1 self) – Add To MetaCart
-
A Compositional Generalisation of Logical Relations
- generalise the notion of logical relation to one of lax logical relation, so that binary lax logical
- Cited by 1 (0 self) – Add To MetaCart
-
A Compositional Generalisation of Logical Relations
- generalise the notion of logical relation to one of lax logical relation, so that binary lax logical
- Add To MetaCart
-
Axiomatics for Data Refinement in Call By Value Programming Languages
- and clarifies Kinoshita and Power's work on lax logical relations for call by value languages. 1 Introduction
- Cited by 2 (0 self) – Add To MetaCart
-
Pre-logical Relations
- is given in [PPS98] where they are called lax logical relations. It is shown that these compose
- Add To MetaCart
-
Modal logic as a basis for distributed computation
- and lax logic (related to monadic programs), this work will show concretely how proof terms express
- Cited by 21 (3 self) – Add To MetaCart
-
The Common Framework Initiative for algebraic specification and development of software: recent progress
- of higher-order models (represented by pre-logical and lax logical relations) was investigated [44, 45, 72
- Cited by 1 (1 self) – Add To MetaCart
-
The Common Framework Initiative for algebraic specification and development of software: recent progress
- -order models (represented by pre-logical and lax logical relations) was investigated [44,45, 72]. Further work
- Add To MetaCart
-
Logical Relations for Monadic Types
- relations [13], lax logical relations [18], pre-logical relations [7], etc.), we use subscones [14] as a
- Cited by 17 (8 self) – Add To MetaCart

