Accéder directement au contenu

Jean Goubault-Larrecq

3
Documents

Publications

"davidnowak"

Logical relations for monadic types

Jean Goubault-Larrecq , Sławomir Lasota , David Nowak
Mathematical Structures in Computer Science, 2008, 18 (06), pp.1169-1217. ⟨10.1017/S0960129508007172⟩
Article dans une revue hal-03196102v1

Complete Lax Logical Relations for Cryptographic Lambda-Calculi

Jean Goubault-Larrecq , Slawomir Lasota , David Nowak , Yu Zhang
18th International Workshop on Computer Science Logic (CSL'04), Sep 2004, Karpacz, Poland. pp.400-414
Communication dans un congrès hal-03201204v1

Logical Relations for Monadic Types

Jean Goubault-Larrecq , Slawomir Lasota , David Nowak
16th International Workshop on Computer Science Logic (CSL'02), Sep 2002, Edinburgh, United Kingdom. pp.553-568
Communication dans un congrès hal-03201730v1