MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Prelogical Relations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Pre-logical Relations
by Furio Honsell And, Furio Honsell, Donald Sannella — 1999 — Proc. Computer Science Logic, CSL'99
…Pre-logical Relations ? Furio Honsell 1;2 and Donald Sannella 1 1 Laboratory for Foundations…
Add To MetaCart

Pre-logical Relations
by Furio Honsell, Donald Sannella — 1999
…Prelogical Relations 1 Furio Honsell Dipartimento di Matematica e Informatica, Universita di…
Cited by 24 (5 self) – Add To MetaCart

Lax Logical Relations
by Gordon Plotkin, John Power, Donald Sannella, Robert Tennent — 2000 — In 27th Intl. Colloq. on Automata, Languages and Programming, volume 1853 of LNCS
… 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
by Shin-ya Katsumata — 2004 — In ICALP
… 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
by Shin-ya Katsumata — 2003 — 16TH INTL. WORKSHOP ON ALGEBRAIC DEVELOPMENT TECHNIQUES, FRAUENCHIEMSEE. SPRINGER LNCS
… 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
by Jean Goubault-larrecq, David Nowak, Yu Zhang — 2004 — In Proceedings of CSL’2004, volume 3210 of LNCS
…-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
by Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki — 2000
… 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
by Topic Verification Methods
… 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)
by Donald Sannella — 1999 — 9th international workshop, LOPSTR ’99
… 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
by John Power, Edmund Robinson — 1996 — Proc. Computer Science Logic, CSL 2000, Fischbachau. Springer LNCS 1862
… 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

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB