44 citations · 48 across the 2 of their papers we have counts for
2 papers
cs.LO2006★ 4 cited
On Completeness of Logical Relations for Monadic Types
Slawomir Lasota, David Nowak, Yu Zhang
Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs can be mode…
cs.LO2005★ 44 cited
Logical Relations for Monadic Types
Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence. We propos…