Skip to Main content Skip to Navigation
Conference papers

Complete Lax Logical Relations for Cryptographic Lambda-Calculi

Jean Goubault-Larrecq 1 Slawomir Lasota 2 David Nowak 1 Yu Zhang 1
1 LSV - Laboratoire Spécification et Vérification
2 MIMUW - Faculty of Mathematics, Informatics, and Mechanics [Warsaw]
Document type :
Conference papers
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

Collections

CNRS | ENS-CACHAN | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

22

 

Contact                    Legal Notice                    Personal Data