Searching for "Lax Logical Relations." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
