Skip to Main content Skip to Navigation
Conference papers

Complete Lax Logical Relations for Cryptographic Lambda-Calculi

Complete list of metadata

https://hal.inria.fr/hal-03201204
Contributor : Jean Goubault-Larrecq <>
Submitted on : Sunday, April 18, 2021 - 9:00:24 AM
Last modification on : Saturday, May 1, 2021 - 3:39:25 AM

Identifiers

  • HAL Id : hal-03201204, version 1

Citation

Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang. Complete Lax Logical Relations for Cryptographic Lambda-Calculi. 18th International Workshop on Computer Science Logic (CSL'04), Sep 2004, Karpacz, Poland. pp.400-414. ⟨hal-03201204⟩

Share

Metrics

Record views

22