Searching for "Prelogical Relations." – sorted by Relevance.
-
Pre-logical Relations
- Pre-logical Relations ? Furio Honsell 1;2 and Donald Sannella 1 1 Laboratory for Foundations
- Add To MetaCart
-
Pre-logical Relations
- Prelogical Relations 1 Furio Honsell Dipartimento di Matematica e Informatica, Universita di
- Cited by 24 (5 self) – Add To MetaCart
-
Lax Logical Relations
- of Mitchell and the pre-logical relations of Honsell and Sannella on Henkin models, but also generalise
- Cited by 15 (2 self) – Add To MetaCart
-
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems
- higher-order abstract syntax and semantics [Fio02,MS03]. 1 Introduction Pre-logical predicates (relations
- Cited by 1 (0 self) – Add To MetaCart
-
Behavioural equivalence and indistinguishability in higher-order typed languages
- of this study is pre-logical relations[8], which give a precise characterisation of behavioural equivalence. We
- Cited by 2 (2 self) – Add To MetaCart
-
Complete Lax Logical Relations for Cryptographic Lambda-Calculi
- -calculus. We clarify Sumii and Pierce's approach, showing that the right tool is prelogical relations, or lax
- Cited by 2 (1 self) – Add To MetaCart
-
Constructive Data Refinement in Typed Lambda Calculus
- treatment of data refinement in typed lambda calculus is proposed, based on pre-logical relations [HS99
- Cited by 13 (7 self) – Add To MetaCart
-
Tuesday 7. Sept
- relations We study a weakening of the notion of logical relations, called pre-logical relations, that has
- Add To MetaCart
-
Algebraic specification and program development by stepwise refinement (Extended Abstract)
- of a so-called pre-logical relation between them [HS99]. If constructors are defined using lambda
- Cited by 6 (0 self) – Add To MetaCart
-
Logical Relations and Data Abstraction
- need not form a logical relation (it may form a lax or pre-logical relation [4, 12]), but logical
- Cited by 5 (1 self) – Add To MetaCart

