- 3
Jean Goubault-Larrecq
3
Documents
Publications
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
Logical relations for monadic typesMathematical 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-Calculi18th 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 Types16th International Workshop on Computer Science Logic (CSL'02), Sep 2002, Edinburgh, United Kingdom. pp.553-568
Communication dans un congrès
hal-03201730v1
|